Applying VDM to large developments
(1990) International Workshop on Formal Methods in Software Development — Location: Napa, CA, USA (9.May.1990)
Files
No attached file found for this publication.
Details
- Authors
- Abstract
- The paper focuses on the use of VDM. Meta-IV, the specification language of VDM, was proved successful to specify large systems. Although many specifications have been written in Meta-IV, only a few complete VDM developments have been achieved. Experiments with VDM and the /b B/ theorem prover have provided some insight on this problem. The author gives an overview of VDM; he points out several weaknesses of the approach in the perspective of large scale developments; and discusses the benefits of the use of the /b B/ tool.
- Affiliations
Citations
Ledru, Y., & Schobbens, P.-Y. (1990). Applying VDM to large developments. Software Engineering Notes, Vol. 15, p. 55-58.