Dec. 7, 1999 to Dec. 10, 1999
Soon-Kyeong Kim , University of Queensland
David Carrington , University of Queensland
Formal specification techniques provide precise and analyzable software specifications. However, 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.
Formal Specifications, UML, Z notation, Visualization
Soon-Kyeong Kim, David Carrington, "Visualization of Formal Specifications", APSEC, 1999, Asia-Pacific Software Engineering Conference, Asia-Pacific Software Engineering Conference 1999, pp. 102, doi:10.1109/APSEC.1999.809590