Understanding the differences between VDM and Z
- 1 July 1994
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGSOFT Software Engineering Notes
- Vol. 19 (3) , 75-81
- https://doi.org/10.1145/182824.182843
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- Adding specification constructors to the refinement calculusPublished by Springer Nature ,2005
- VDM and Z: A comparative case studyFormal Aspects of Computing, 1992
- The VDM-SL Reference GuidePublished by Taylor & Francis ,1991
- VDM '91 Formal Software Development MethodsPublished by Springer Nature ,1991
- Modularizing the formal description of a database systemPublished by Springer Nature ,1990
- A logic covering undefinedness in program proofsActa Informatica, 1984
- Specification of the UNIX Filing SystemIEEE Transactions on Software Engineering, 1984
- The Vienna Development Method: The Meta-LanguageLecture Notes in Computer Science, 1978