Statecharts: A visual formalism for complex systems
Science of Computer Programming
The Z notation: a reference manual
The Z notation: a reference manual
Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS
IEEE Transactions on Software Engineering
Mathematical Notation in Formal Specification: Too Difficult for the Masses?
IEEE Transactions on Software Engineering
Constraint diagrams: visualizing invariants in object-oriented models
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Exploring the semantics of UML type structures with Z
FMOODS '97 Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems
Three dimensional software modelling
Proceedings of the 20th international conference on Software engineering
Ten Commandments of Formal Methods
Computer
A Study of 12 Specifications of the Library Problem
IEEE Software
On combining semiformal and formal object specification techniques
WADT '97 Selected papers from the 12th International Workshop on Recent Trends in Algebraic Development Techniques
SOFSEM '96 Proceedings of the 23rd Seminar on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
The UML as a Formal Modeling Notation
«UML» '98 Selected papers from the First International Workshop on The Unified Modeling Language «UML»'98: Beyond the Notation
A Graphic Notation for Formal Specifications of Dynamic Systems
FME '97 Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods
An approach to integrating semi-formal and formal notations in software specification
Proceedings of the 2002 ACM symposium on Applied computing
Visual Mathematics: Diagrammatic Formalization and Proof
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
General Euler Diagram Generation
Diagrams '08 Proceedings of the 5th international conference on Diagrammatic Representation and Inference
The expressiveness of spider diagrams augmented with constants
Journal of Visual Languages and Computing
The Advent of Formal Diagrammatic Reasoning Systems
ICFCA '09 Proceedings of the 7th International Conference on Formal Concept Analysis
A graph theoretic approach to general Euler diagram drawing
Theoretical Computer Science
Coupling-based transformations of Z specifications into UML diagrams
Innovations in Systems and Software Engineering
CASL-MDL, modelling dynamic systems with a formal foundation and a UML-like notation
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
| Hi-index | 0.00 |
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.