JUCS - Journal of Universal Computer Science 7(8): 631-640, doi: 10.3217/jucs-007-08-0631
The Transition from VDL to VDM
expand article infoCliff B. Jones‡
‡ Newcastle University, Newcastle

Corresponding author: Cliff Jones ( cliff.jones@ncl.ac.uk )

© Cliff Jones.
This article is freely available under the J.UCS Open Content License.
Citation: Jones CB (2001) The Transition from VDL to VDM. JUCS - Journal of Universal Computer Science 7(8): 631-640. https://doi.org/10.3217/jucs-007-08-0631
Open Access
Abstract
This paper describes (one person's view of) how the Vienna Development Method grew out of the earlier work on the Vienna Definition Language. Both of these activities were undertaken at the IBM Laboratory Vienna during the 1960s and 70s.
Keywords
formal methods, language definition, VDL, VDM, operational semantics, denotational semantics