DocumentCode
3371492
Title
Visualization of formal specifications
Author
Kim, Soon-Kyeong ; Carrington, David
Author_Institution
Dept. of Comput. Sci. & Electr., Queensland Univ. of Technol., Brisbane, Qld., Australia
fYear
1999
fDate
1999
Firstpage
102
Lastpage
109
Abstract
Formal specification techniques provide precise and analyzable software specifications. However, the formal notations provided by most formal specification techniques are not easy to use and understand for most people. Our approach counters this difficulty by visualizing formal specifications. In this paper, we use various diagrams to visualize a Z specification. In our work, both static and dynamic aspects of formal specifications, including complex constraints, are included in the visualization scope
Keywords
diagrams; formal specification; program visualisation; UML; Z notation; complex constraints; diagrams; dynamic aspects; ease of use; formal notations; formal specifications visualization; static aspects; understandability; Computer science; Contracts; Counting circuits; Formal specifications; Object oriented modeling; Programming profession; Software systems; Testing; Unified modeling language; Visualization;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering Conference, 1999. (APSEC '99) Proceedings. Sixth Asia Pacific
Conference_Location
Takamatsu
Print_ISBN
0-7695-0509-0
Type
conf
DOI
10.1109/APSEC.1999.809590
Filename
809590
Link To Document