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
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!