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...
محفوظ في:
| المؤلف الرئيسي: | |
|---|---|
| التنسيق: | أطروحة |
| اللغة: | 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 |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
| id |
my-umt-ir.-903 |
|---|---|
| record_format |
uketd_dc |
| spelling |
my-umt-ir.-9032016-03-11T21:42:54Z Formalization of medical informatics UML and Z specifications Rajoo, Mageswari 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. Fakulti Sains dan Teknologi 2005-09 Thesis en http://hdl.handle.net/123456789/903 http://umt-ir.umt.edu.my:8080/jspui/bitstream/123456789/903/1/QA%2076.73%20.Z2%20R3%202005%20Abstract.pdf 7ff192c85d4d0870444a107ff58b0c85 http://umt-ir.umt.edu.my:8080/jspui/bitstream/123456789/903/2/QA%2076.73%20.Z2%20R3%202005%20FullText.pdf acdf9cc32efdc61bb6f11b1d08dc2879 http://umt-ir.umt.edu.my:8080/jspui/bitstream/123456789/903/3/license.txt ecca7a0b60eabbf88d99eae3662e2d50 http://umt-ir.umt.edu.my:8080/jspui/bitstream/123456789/903/4/QA%2076.73%20.Z2%20R3%202005%20Abstract.pdf.txt d79b1e3f532e41d0f91a9ee4787ea4b2 http://umt-ir.umt.edu.my:8080/jspui/bitstream/123456789/903/5/QA%2076.73%20.Z2%20R3%202005%20FullText.pdf.txt a292caf0abbb8bf2b7fc9958735f44de QA 76.73 .Z2 R3 2005 Rajoo, Mageswari Formalization of medical informatics UML and Z specifications |
| institution |
Universiti Malaysia Terengganu |
| collection |
UMT Repository System |
| language |
English |
| topic |
QA 76.73 .Z2 R3 2005 QA 76.73 .Z2 R3 2005 Formalization of medical informatics UML and Z specifications |
| spellingShingle |
QA 76.73 .Z2 R3 2005 QA 76.73 .Z2 R3 2005 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 |
| granting_institution |
Fakulti Sains dan Teknologi |
| url |
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 |
| _version_ |
1747835883864719360 |