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:
Main Author: | |
---|---|
Format: | Thesis |
Language: | English |
Published: |
Fakulti Sains dan Teknologi
2011
|
Subjects: | |
Online Access: | http://hdl.handle.net/123456789/903 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
my.umt.ir-903 |
---|---|
record_format |
eprints |
spelling |
my.umt.ir-9032016-03-11T21:42:54Z Formalization of medical informatics UML and Z specifications Rajoo, Mageswari QA 76.73 .Z2 R3 2005 Rajoo, Mageswari 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 reusability, the use of formal specification is necessary. 2011-10-16T07:27:29Z 2011-10-16T07:27:29Z 2005-09 Thesis http://hdl.handle.net/123456789/903 en ;QA 76.73 .Z2 R3 2005 application/pdf application/pdf Fakulti Sains dan Teknologi |
institution |
Universiti Malaysia Terengganu |
building |
Perpustakaan Sultanah Nur Zahirah |
collection |
Institutional Repository |
continent |
Asia |
country |
Malaysia |
content_provider |
Universiti Malaysia Terengganu |
content_source |
UMT-IR |
url_provider |
http://umt-ir.umt.edu.my:8080/ |
language |
English |
topic |
QA 76.73 .Z2 R3 2005 Rajoo, Mageswari Formalization of medical informatics UML and Z specifications |
spellingShingle |
QA 76.73 .Z2 R3 2005 Rajoo, Mageswari Formalization of medical informatics UML and Z specifications Rajoo, Mageswari Formalization of medical informatics UML and Z specifications |
description |
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. |
format |
Thesis |
author |
Rajoo, Mageswari |
author_facet |
Rajoo, Mageswari |
author_sort |
Rajoo, Mageswari |
title |
Formalization of medical informatics UML and Z specifications |
title_short |
Formalization of medical informatics UML and Z specifications |
title_full |
Formalization of medical informatics UML and Z specifications |
title_fullStr |
Formalization of medical informatics UML and Z specifications |
title_full_unstemmed |
Formalization of medical informatics UML and Z specifications |
title_sort |
formalization of medical informatics uml and z specifications |
publisher |
Fakulti Sains dan Teknologi |
publishDate |
2011 |
url |
http://hdl.handle.net/123456789/903 |
_version_ |
1738395547805417472 |
score |
13.211869 |