Source : Free On-Line Dictionary of Computing

VDM
     
        1. Vienna Definition Method
     
        2. {Virtual Device Metafile}.

VDM++
     
        {Object-oriented extension} of {VDM-SL}.  ["Object-Oriented
        Specification in VDM++", in Object Oriented Specification Case
        Studies, K. Lano et al eds, P-H 1993].