Vienna Development Method |
Vienna Development Method (VDM) is a program development method based on formal specification using the VDM specification language (VDM-SL), with tool support. There is an object-oriented extension, VDM++.
=External link=
*[http://www.csr.ncl.ac.uk/vdm/ Information on VDM and VDM++]
=Reference=
|
|
