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
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;
Conference_Titel :
Software Engineering Conference, 1999. (APSEC '99) Proceedings. Sixth Asia Pacific
Conference_Location :
Takamatsu
Print_ISBN :
0-7695-0509-0
DOI :
10.1109/APSEC.1999.809590
