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:
| 主要作者: | |
|---|---|
| 格式: | Thesis |
| 语言: | English |
| 主题: | |
| 在线阅读: | http://umt-ir.umt.edu.my:8080/jspui/bitstream/123456789/903/1/QA%2076.73%20.Z2%20R3%202005%20Abstract.pdf http://umt-ir.umt.edu.my:8080/jspui/bitstream/123456789/903/2/QA%2076.73%20.Z2%20R3%202005%20FullText.pdf |
| 标签: |
添加标签
没有标签, 成为第一个标记此记录!
|
成为第一个发表评论!