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

Nearby terms:
videotex « Vienna Definition Language « Vienna Definition Method « Vienna Development Method » Vienna Development Method Specification Language » Vienna Fortran » Vietnamese