English Dictionary: VDM | by the DICT Development Group |
2 results for VDM | |
From The Free On-line Dictionary of Computing (15Feb98) [foldoc]: | |
VDM 1. Vienna Definition Method 2. {Virtual Device Metafile}. | |
From The Free On-line Dictionary of Computing (15Feb98) [foldoc]: | |
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]. |