loading...
Visualization of Formal Specifications
Takamatsu, Japan December 07-December 10
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/APSEC.1999.809590Sixth Asia-Pacific Software Engineeri ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Soon-Kyeong Kim, David Carrington, "Visualization of Formal Specifications," Asia-Pacific Software Engineering Conference, pp. 102, Sixth Asia-Pacific Software Engineering Conference (APSEC'99), 1999.
 
 
BibTex
x
 
@article{ 10.1109/APSEC.1999.809590,
author = {Soon-Kyeong Kim and David Carrington},
title = {Visualization of Formal Specifications},
journal ={Asia-Pacific Software Engineering Conference},
volume = {0},
year = {1999},
issn = {1530-1362},
pages = {102},
doi = {http://doi.ieeecomputersociety.org/10.1109/APSEC.1999.809590},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Asia-Pacific Software Engineering Conference
TI - Visualization of Formal Specifications
SN - 1530-1362
SP
EP
A1 - Soon-Kyeong Kim,
A1 - David Carrington,
PY - 1999
KW - Formal Specifications
KW - UML
KW - Z notation
KW - Visualization
VL - 0
JA - Asia-Pacific Software Engineering Conference
ER -
 
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.