Vienna Development Method
Synonyms
Vienna Definition Method
(VDM) A program development method based on formal specification using the Vienna Development Method Specification Language (VDM-SL).
[Details?]
[Is there such a thing as "Vienna Definition Method"?]