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!
|
| Summary: | 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. |
|---|