Software Development Using VDM

December 1, 1989 • Curriculum Module

By

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.

Software Engineering Institute