Software Engineering Institute Carnegie Mellon

Software Development Using VDM

Storbank Pedersen, J. (Computer Resources International A/S)

Curriculum Module
CMU/SEI-CM-16-1.1

PDF Download
PostScript File

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.