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



< Previous Terms Terms Containing Vienna Development Method Next Terms >
video random access memory
video terminal
videotex
Vienna Definition Language
Vienna Definition Method
 Meta-IV
VDM-SL
Vienna Definition Method
Vienna Development Method
Vienna Development Method Specification Language
 Vienna Development Method Specification Language
Vienna Fortran
Vietnamese
viewer
ViewPoints