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].





< Previous Terms Terms Containing VDM++ Next Terms >
VCPI
VCR
vdiff
VDL
VDM
 VDM++
 VDM-SL
VDSL
VDT
VDU
vdx