search menu icon-carat-right cmu-wordmark

Software Development Using VDM

December 1989 Curriculum Module
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.

Publisher:

Software Engineering Institute

CMU/SEI Report Number

CMU/SEI-89-CM-016

Abstract

This module introduces the Vienna Development Method (VDM) approach to software development. The method is oriented toward a formal model view of the software to be developed. The emphasis of the module is on formal specification and systematic development of programs using VDM. A major part of the module deals with the particular specification language (and abstraction mechanisms) used in VDM.