Formalization of medical informatics UML and Z specifications

Formalization of medical informatics UML and Z specifications

UML is a standard graphical modeling language; it presents a set of notation for visualizing, specifying, constructing, and documenting a software-intensive system. But UML is not a formal language; it is composed by graphical notation and natural language. To improve software reliability and reus...

Saved in:

书目详细资料
主要作者:	Rajoo, Mageswari
格式:	Thesis
语言:	English
主题:	QA 76.73 .Z2 R3 2005 Formalization of medical informatics UML and Z specifications
在线阅读:	http://umt-ir.umt.edu.my:8080/jspui/bitstream/123456789/903/1/QA%2076.73%20.Z2%20R3%202005%20Abstract.pdf http://umt-ir.umt.edu.my:8080/jspui/bitstream/123456789/903/2/QA%2076.73%20.Z2%20R3%202005%20FullText.pdf
标签:	添加标签没有标签, 成为第一个标记此记录!

相似书籍

Pola pengetahuan, kefahaman dan penggunaan teori di kalangan kaunselor di Malaysia
由: Zakaria, Mohamad

Sistem maklumat arkeologi di Sabah : Potensi, isu dan cabaran
由: Nelly Majinus
出版: (2017)

Exact calculation of the flavour-changing quark-Z vertex /
由: Chong, Nyok Kian
出版: (1997)

Organochlorine insecticides in oyster (crassostrea iredalei), sediment and particulate of Setiu and Tok Bali lagoon
由: Zurina Mohd Azhari

Fuzzy hybrid multi-criteria decision making model for municipal solid waste disposal selection
由: Zamali Hj. Tarmudi

Investigation of the momentum dependence of the flavour-changing quark-Z vertex and its implication to CP violation processes /
由: Yoon, Tiem Leong
出版: (1997)

LibQUAL 2004 : instrumen pengukuran jurang kualiti perkhidmatan Perpustakaan Sultanah Zanariah, Universiti Teknologi Malaysia
由: Muhamad Akhir, Siti Fatimah
出版: (2008)

Antioxidative activities and isolation of phenolic compounds from the root, fruit and leaf of mengkudu (Morinda citrifolia L.)
由: Zamzahaila Mohd Zin

Bioaccumulation and depuration of pyrene in oyster, crassostrea iredalei
由: Yew, Chin Kam

A framework for distributed mobile applications
由: Zawawi Ismail @ Abdul Wahab

Distributed multimedia framework using cobra on java technology with microsoft access and IBM DB2 database
由: Ahmad Shukri Mohd Nor

Sistem perpustakaan digital bersepadu: sub-sistem perolehan atas talian Perpustakaan Sultanah Zanariah
由: Talib, Anuar
出版: (2002)

The Acceptance Design Model for Library Web Services: Enhanced Features of the UUM Web Online Public Access Catalog
由: Olusegun, Adebambo Hameed
出版: (2011)

Satu kajian terhadap teknik dan motif ilustrasi pada kad ucapan hari raya serta perkembangannya dari tahun 80-an hingga 90-an / Mastura Md Saad
由: Md Saad, Mastura
出版: (2000)

Strategic Information and Communication Technology Skills and Effectiveness of Library Services in Jordan
由: Al-Refai, Abdalla Nayef Saleh
出版: (2011)

The design, development and evaluation of an anti-bullying kit for lower secondary school students/ Nur Amyra Kamarudin
由: Kamarudin, Nur Amyra
出版: (2017)

Modification of Steepest Descent Method for Solving Unconstrained Optimization
由: Zubai'dah Binti Zainal Abidin

The Use Of Advanced Bibliometric Analysis In Research Performance Assessment And Monitoring At Universiti Malaysia Terengganu
由: Harisom Anida Binti Musa

OPTIMIZATION ON UNIVERSITY COURSE TIMETABLING PROBLEMS USING MATHEMATICAL PROGRAMMING: CASE STUDY AT UMT
由: Zahidah Mohd Zaulir

Content -based trademark retrieval using zernike moments and colour-spatial technigues
由: Wan Nurul Jawahir, Wan Yussof

Kajian tinjauan terhadap keperluan, penerimaan dan ciri-ciri reka bentuk infografik maklumat kronologikal dalam kalangan guru sejarah di Kelantan.
由: Mohd Syamsulfitri Mohamad Idris.
出版: (2018)

The English reading habits of year 6 students in Sekolah Rendah Islam Hidayah Johor
由: Abu Hasan, Raihana
出版: (2011)

Reading habits and strategies of English teachers in Public Senior High Schools
由: Candra, Muhammad
出版: (2010)

A study on the fabrication of multi material 3D patterns using inkjet printing technology
由: Ibrahim, Mustaffa
出版: (2007)

Faculty's used books e-platform
由: Othman, Muhaini
出版: (2005)

Printing fine solid lines in flexographic printing process
由: Yusof, Mohd Sallehuddin
出版: (2011)

Cultivating reading habit among secondary school students: The DEAR programme
由: Noorazaliza Izha, Haron
出版: (2009)

eBook Reader : A Comparison on Perceived Usefulness and Ease of Use
由: Mohd. Fakharulzaman, Che Hamzah
出版: (2005)

E-Magazines in Boarding School Libraries : Perceived Usefulness of Different Designs
由: Hashiroh, Hussain
出版: (2004)

Kajian Perbandingan Teknik-Teknik Steganografi Ke Atas Pelaksanaan Penyembunyian Maklumat Dalam Persekitaran Imej
由: Hanafi, Mamat
出版: (2003)

Hubungan Minat Membaca Di Kalangan Pelajar-Pelajar SMKA Di Seberang Perai Dengan Latar Belakang Keluarga Dan Persekitaran
由: Abd Wahab, Mat
出版: (1995)

Exploring And Evaluating The Efficiency And Satisfaction Of E-Book Among Students In Multimedia University
由: Fen, Ching Pei
出版: (2009)

Case Study: FIRM Capabilities In Borders Group Inc
由: Goh, Hun Seng
出版: (2005)

Methods For Generating Cryptographic Keys From Online Hand Signatures
由: Yip, Wai Kuan
出版: (2007)

Applying Instructional Design Technologies To Teach Stenography Online
由: Jawan, Baisah
出版: (2006)

Study On Identity-Based Identification Schemes
由: Chin, Ji Jian
出版: (2008)

Cytotoxicity and mechanisms of cell death of selected marine sponges on human breast cancer cell line, MCF-7
由: Hidayah, Tuti

Isolation of bioactive metabolites from marine sponges aaptos aaptos and celtodoryx girardae
由: Zalilawati Mat Rashid

Data quality improvement of student data submission to mymohes
由: Majina, Binti Sulaiman
出版: (2012)

Pengurusan Pusat Sumber sekolah di sekolah menengah zon bandar Segamat, Johor
由: Raja Ariff Shah, Raja Rozita
出版: (2013)

Services hosted by the Perpustakaan Sultan Abdul Samad, Universiti Putra Malaysia with Cooperation MySyL Group