PLS Lab

Vienna Development Method

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.

Relationship to VDL

The VDM was developed from previous work on the Vienna Definition Language. Its relationship to it is explained in Jones 2001.

See also

References

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