Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Jan S. Pedersen
December 1989 - Curriculum Module Software Development Using VDM

This 1989 report introduces the Vienna Development Method (VDM) approach to software development. The VDM method is oriented toward a formal model view of the software to be developed.

November 1988 - Technical Report Using the Vienna Development Method (VDM) to Formalize a Communication Protocol

This 1988 paper provides an example of how VDM might be used in the area of communications, a new domain for VDM.