Z in practice
Structuring Z specifications with views
ACM Transactions on Software Engineering and Methodology (TOSEM)
Using Z: specification, refinement, and proof
Using Z: specification, refinement, and proof
The Object-Z specification language
The Object-Z specification language
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
On the Frame Problem in Procedure Specifications
IEEE Transactions on Software Engineering
Object Orientation in Z
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
Patterns to guide practical refactoring: examples targetting promotion in Z
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Object orientation without extending Z
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Comparison of formalisation approaches of UML class constructs in Z and object-Z
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Frameworks Based on Templates for Rigorous Model-driven Development
Electronic Notes in Theoretical Computer Science (ENTCS)
Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Automated Formalisation for Verification of Diagrammatic Models
Electronic Notes in Theoretical Computer Science (ENTCS)
VCL, a visual language for modelling software systems formally
Diagrams'10 Proceedings of the 6th international conference on Diagrammatic representation and inference
Using VCL as an aspect-oriented approach to requirements modelling
Transactions on aspect-oriented software development VII
Using VCL as an aspect-oriented approach to requirements modelling
Transactions on aspect-oriented software development VII
Building VCL models and automatically generating Z specifications from them
FM'11 Proceedings of the 17th international conference on Formal methods
Hi-index | 0.00 |
There is significant interest in the use of Z in conjunction with object-orientation. Here we present a new approach to structuring Z specifications in an object-oriented (OO) style. Our structuring is based on views, it uses the schema calculus, and it does not extend Z. The resulting OO Z specifications are comprehensible, modular, and conceptually clear. The modularity of the new approach supports a template-instantiation approach to expressing OO models in Z; practical formal verification and validation of the model can be undertaken using meta-proof, meta-lemmas, and formal snapshots.