The Vienna Development Method (VDM) is a set of formal methods for developing computer systems.
It originates in the IBM Vienna laboratory in the 1970s.
The VDM was developed from previous work on the Vienna Definition Language. Its relationship to it is explained in [Jones 2001].
The following two books cover many aspects of the VDM.
D. Bjørner and C. B. Jones, editors. The Vienna Development Method: The Meta-Language, volume 61 of Lecture Notes in Computer Science. SpringerVerlag, 1978.
BJ82. Dines Bjørner and Cliff B. Jones, editors. Formal Specification and Software Development. Prentice Hall International, 1982.
Cliff B. Jones and Martyn Thomas. 2022. The Development and Deployment of Formal Methods in the UK. Form. Asp. Comput. 34, 1, Article 6 (March 2022), 21 pages. https://doi.org/10.1145/3522577 [arXiv]
@article{10.1145/3522577,
author = {Jones, Cliff B. and Thomas, Martyn},
title = {The Development and Deployment of Formal Methods in the UK},
year = {2022},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = {34},
number = {1},
issn = {0934-5043},
url = {https://doi.org/10.1145/3522577},
doi = {10.1145/3522577},
journal = {Formal Aspects of Computing},
articleno = {6},
numpages = {21},
}
C. B. Jones. The transition from VDL to VDM. Journal of Universal Computer Science, 7(8):631–640, 2001. http://dx.doi.org/10.3217/jucs-007-08-0631