Main Page
|
See live article
|
Alphabetical index
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.