維也納開發方法
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].
版權所有 © 2024 3Dict.net