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].Nearby terms:
VCODE ♦ VCPI ♦ VCR ♦ vdiff ♦ VDL ♦ VDM ♦ VDM++ ♦ VDM-SL ♦ VDSL ♦ VDT ♦ VDU ♦ vdx ♦ ve
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading