Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 7 / Issue 8

available in:   HTML (30 kB) PDF (154 kB) PS (51 kB)
Similar Docs BibTeX   Write a comment
Links into Future
DOI:   10.3217/jucs-007-08-0631


The Transition from VDL to VDM

Cliff B. Jones (Department of Computing Science, University of Newcastle, UK)


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: VDL, VDM, denotational semantics, formal methods, language definition, operational semantics

Categories: D.2.4, D.3.1, F.3, F.3.2