An overview of the ISO/VDM-SL standard
- 1 August 1992
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 27 (8) , 76-82
- https://doi.org/10.1145/142137.142153
Abstract
VDM-SL, the notation incorporated in the formal method VDM, is currently being standardized under auspices of the International Standards Institution (ISO) and the British Standards Institution (BSI). It is one of the few formal languages of which the syntax and the semantics have been completely formally defined. In this paper we present an overview of the standard, including a report on the current status of the standardization effort.Keywords
This publication has 5 references indexed in Scilit:
- A VDM subset compilerPublished by Springer Nature ,1991
- An executable subset of Meta-IV with loose specificationPublished by Springer Nature ,1991
- An approach to the static semantics of VDM-SLPublished by Springer Nature ,1991
- Report from the BSI panel for the standardisation of VDM (IST/5/50)Lecture Notes in Computer Science, 1988
- The Vienna Development Method: The Meta-LanguageLecture Notes in Computer Science, 1978