Case studies in systematic software development
Case studies in systematic software development
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Programming from specifications
Programming from specifications
Specification case studies
The Z notation: a reference manual
The Z notation: a reference manual
Object-oriented specification case studies
Object-oriented specification case studies
Object-Z: a specification language advocated for the description of standards
Computer Standards & Interfaces - Special issue on formal description techniques
Using Z: specification, refinement, and proof
Using Z: specification, refinement, and proof
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
Formal Object-Oriented Development
Formal Object-Oriented Development
Software Development: A Rigorous Approach
Software Development: A Rigorous Approach
Object Orientation in Z
The Vienna Development Method: The Meta-Language
The Vienna Development Method: The Meta-Language
Inheritance in Object-Oriented Z
ECOOP '91 Proceedings of the European Conference on Object-Oriented Programming
Object-Z: An Object-Oriented Extension to Z
FORTE '89 Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols
Modular Object-oriented Z Specifications
Proceedings of the Fifth Annual Z User Meeting on Z User Workshop
Program Specification, Proceedings of a 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
| Hi-index | 0.00 |