109

urn:lsid:arphahub.com:pub:3dc5f44e-8666-58db-bc76-a455210e8891

JUCS - Journal of Universal Computer Science

jucs

0948-695X 0948-6968

Journal of Universal Computer Science

10.3217/jucs-007-08-0631

27810

Research Article

D.2.4 - Software/Program Verification D.3.1 - Formal Definitions and Theory F.3.2 - Semantics of Programming Languages F.3 - LOGICS AND MEANINGS OF PROGRAMS

The Transition from VDL to VDM

Jones

Cliff B.

cliff.jones@ncl.ac.uk

Newcastle University, Newcastle,

Newcastle University

Newcastle

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

Academic editor:

2001

28 08 2001

7 8 631 640 44AC0DF9-65D6-5CC6-8F0C-39A1F7BC118C 6996033

Cliff B. Jones

This article is freely available under the J.UCS Open Content License.

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.