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"?]

Last updated: 2000-11-02


Loading