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

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

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

Authors: Jan Storbank Pedersen

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

Authors: Jan Storbank Pedersen, Mark H. Klein

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