Formalization of medical informatics UML and Z specifications

Rajoo, Mageswari

dc.contributor.author	Rajoo, Mageswari
dc.date.accessioned	2011-10-16T07:27:29Z
dc.date.available	2011-10-16T07:27:29Z
dc.date.issued	2005-09
dc.identifier.uri	http://hdl.handle.net/123456789/903
dc.description.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.	en_US
dc.language.iso	en	en_US
dc.publisher	Fakulti Sains dan Teknologi	en_US
dc.relation.ispartofseries	;QA 76.73 .Z2 R3 2005
dc.subject	QA 76.73 .Z2 R3 2005	en_US
dc.subject	Rajoo, Mageswari	en_US
dc.subject	Formalization of medical informatics UML and Z specifications	en_US
dc.title	Formalization of medical informatics UML and Z specifications	en_US
dc.type	Thesis	en_US