Source : Free On-Line Dictionary of Computing

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