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...

Full description

Saved in:
Bibliographic Details
Main Author: Rajoo, Mageswari
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