Visualization of Formal Specifications

@inproceedings{Kim1999VisualizationOF,
  title={Visualization of Formal Specifications},
  author={Soon-Kyeong Kim and David A. Carrington},
  booktitle={APSEC},
  year={1999}
}
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 diff iculty 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… CONTINUE READING

Figures, Tables, and Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 27 CITATIONS

Spider Diagrams Augmented with Constants: A Complete System

VIEW 4 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

The Expressiveness of Spider Diagrams Augmented with Constants

  • 2004 IEEE Symposium on Visual Languages - Human Centric Computing
  • 2004
VIEW 4 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Coupling-based transformations of Z specifications into UML diagrams

  • Innovations in Systems and Software Engineering
  • 2011
VIEW 2 EXCERPTS
CITES METHODS

Drawing Euler Diagrams with Circles: The Theory of Piercings

  • IEEE Transactions on Visualization and Computer Graphics
  • 2011
VIEW 1 EXCERPT
CITES METHODS

Web 2.0 Based Service-Oriented E-Learning Systems: Recurrent Design and Architectural Patterns

  • 2010 11th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
  • 2010
VIEW 3 EXCERPTS
CITES BACKGROUND & METHODS

Changing euler diagram properties by edge transformation of euler dual graphs

  • 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)
  • 2009
VIEW 1 EXCERPT
CITES BACKGROUND

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…