Object lifecycles: modeling the world in states
Object lifecycles: modeling the world in states
The Z notation: a reference manual
The Z notation: a reference manual
An introduction to formal specification and Z
An introduction to formal specification and Z
Larch: languages and tools for formal specification
Larch: languages and tools for formal specification
Object-oriented development: the fusion method
Object-oriented development: the fusion method
Object-oriented development at work: fusion in the real world
Object-oriented development at work: fusion in the real world
A Formal Semantics for Object Model Diagrams
IEEE Transactions on Software Engineering
Proceedings of the Z User Workshop
Using Z as a Specification Calculus for Object-Oriented Systems
VDM '90 Proceedings of the Third International Symposium of VDM Europe on VDM and Z - Formal Methods in Software Development
OOD Frameworks in Component-Based Software - Development in Computational Logic
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
A Discussion About Integrated Techniques
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Hi-index | 0.00 |
We present techniques for constructing Z specifications from the analysis and design models of the Fusion method. We show how the specifications can be used to more closely tie the Fusion models together. In particular, we outline how the specifications can be used to support rigorous verification of Fusion design models against analysis models.