Developing ada programs using the vienna development method (VDM)

Publisher Website
Google Scholar
Abstract
A method is presented for the systematic development of sequential Ada programs using the Vienna Development Method (VDM). The approach is based upon using the facilities of Ada for supporting parameterized abstract data types to implement the primitives of the VDM specification language. More experimental work is required to assess the utility of the method, but a systematic approach is promised for using features of Ada unfamiliar to most programmers (e.g. packages, generics and exceptions).Familiarity with Ada is assumed. An overview of VDM is presented so that unfamiliar readers can understand the example given in the paper.

This publication has 2 references indexed in Scilit: