This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Sixth Asia-Pacific Software Engineering Conference (APSEC'99)
Visualization of Formal Specifications
Takamatsu, Japan
December 07-December 10
ISBN: 0-7695-0509-0
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.
Index Terms:
Formal Specifications, UML, Z notation, Visualization
Citation:
Soon-Kyeong Kim, David Carrington, "Visualization of Formal Specifications," apsec, pp.102, Sixth Asia-Pacific Software Engineering Conference (APSEC'99), 1999
Usage of this product signifies your acceptance of the Terms of Use.