Understanding Z: a specification language and its formal semantics
Understanding Z: a specification language and its formal semantics
The programming process: an introduction using VDM and Pascal
The programming process: an introduction using VDM and Pascal
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.)
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
Software Development: A Rigorous Approach
Software Development: A Rigorous Approach
Introduction to VDM
Practical Formal Methods with VDM
Practical Formal Methods with VDM
The Vienna Development Method: The Meta-Language
The Vienna Development Method: The Meta-Language
Proceedings of the Fifth Annual Z User Meeting on Z User Workshop
Select Z Bibliography and Frequently Asked Questions
Proceedings of the Z User Workshop
Proceedings of the Z User Workshop
Adding Specification Constructors to the Refinement Calculus
FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods
Proceedings of the Z User Workshop
Modularizing the Formal Description of a Database System
VDM '90 Proceedings of the Third International Symposium of VDM Europe on VDM and Z - Formal Methods in Software Development
Scientific Decisions which Characterize VDM
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Towards formally templated relational database representations in z
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Specification before satisfaction: the case for research into obtaining the right specification
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
| Hi-index | 0.00 |
This paper attempts to provide an understanding of the interesting differences between two well-known specification languages.