Vienna Development Method

programming, specification (VDM) A program development

method based on formal specification using the ViennaDevelopment Method Specification Language (VDM-SL).

[Details?]

[Is there such a thing as "Vienna Definition Method"?]

(2000-11-02)