vienna development method

from The Free On-line Dictionary of Computing (8 July 2008)

Vienna Development Method
Vienna Definition 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)