The Community for Technology Leaders
RSS Icon
Subscribe
Takamatsu, Japan
Dec. 7, 1999 to Dec. 10, 1999
ISBN: 0-7695-0509-0
pp: 102
Soon-Kyeong Kim , University of Queensland
David Carrington , University of Queensland
ABSTRACT
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.
INDEX TERMS
Formal Specifications, UML, Z notation, Visualization
CITATION
Soon-Kyeong Kim, David Carrington, "Visualization of Formal Specifications", APSEC, 1999, 2013 20th Asia-Pacific Software Engineering Conference (APSEC), 2013 20th Asia-Pacific Software Engineering Conference (APSEC) 1999, pp. 102, doi:10.1109/APSEC.1999.809590
6 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool