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”?]
(2000-11-02)
Read Also:
- Vienna fortran
A data-parallel extension of Fortran 77 for distributed memory multiprocessors by Hans Zima [email protected], Vienna University. [“Programming In Vienna Fortran”, B. Chapman et al, Scientific Programming 1(1):31-50 (Aug 1992)].
- Vienna-international
noun 1. a socialist organization formed in Vienna in 1921 and merged in 1923 with the Second International to form the Labor and Socialist International. Compare international (def 6).
- Vienna-sausage
or vienna sausage noun 1. a small frankfurter, often served as an hors d’oeuvre.
- Vienna union
noun 1. the Vienna Union, an international conference of socialists who came together in Vienna in 1921 in an attempt to reconstruct a united International by offering an alternative to the right-wing remnant of the Second International and to the Comintern: merged into the Labour and Socialist International in 1923 Also known as the Two-and-a-half […]
- Vienna-woods
noun, (used with a plural verb) 1. Wienerwald.