DocumentCode
1616622
Title
Translating Fusion/UML to Object-Z
Author
Bittner, Margot ; Kammüller, Florian
Author_Institution
Inst. fur Softwaretechnik und Theor. Informatik, Technische Univ. Berlin, Germany
fYear
2003
Firstpage
49
Lastpage
50
Abstract
We present an extension of the development method Fusion/ UML that translates the results of analysis and design into the formal specification language Object-Z. The extended process establishes a consistency relationship between analysis and design. Furthermore, a formal specification for the implementation is produced.
Keywords
formal specification; program interpreters; specification languages; Fusion/UML language; Object-Z language; consistency relationship; development method; formal specification language; language translation; Education; Embedded system; Formal specifications; Guidelines; Object oriented modeling; Software design; Software systems; Specification languages; Systems engineering and theory; Unified modeling language;
fLanguage
English
Publisher
ieee
Conference_Titel
Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings. First ACM and IEEE International Conference on
Conference_Location
Mont Saint Michel, France
Print_ISBN
0-7695-1923-7
Type
conf
DOI
10.1109/MEMCOD.2003.1210087
Filename
1210087
Link To Document