Vienna Development Method
<programming, specification> (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"?]



