Please use this identifier to cite or link to this item:
http://umt-ir.umt.edu.my:8080/handle/123456789/903
Title: | Formalization of medical informatics UML and Z specifications |
Authors: | Rajoo, Mageswari |
Keywords: | QA 76.73 .Z2 R3 2005 Rajoo, Mageswari Formalization of medical informatics UML and Z specifications |
Issue Date: | Sep-2005 |
Publisher: | Fakulti Sains dan Teknologi |
Series/Report no.: | ;QA 76.73 .Z2 R3 2005 |
Abstract: | 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 reusability, the use of formal specification is necessary. |
URI: | http://hdl.handle.net/123456789/903 |
Appears in Collections: | Fakulti Sains dan Teknologi |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
QA 76.73 .Z2 R3 2005 Abstract.pdf | 2.43 MB | Adobe PDF | View/Open | |
QA 76.73 .Z2 R3 2005 FullText.pdf Restricted Access | 50.95 MB | Adobe PDF | View/Open Request a copy |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.