<<Up
Contents
Vienna Development Method
Vienna Development Method
(VDM) is a program development method based on formal specification using the
VDM specification language
(VDM-SL).
This article was originally based on material from
FOLDOC
, used with
permission
. Update as needed.
wikipedia.org
dumped 2003-03-17 with
terodump