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:

VCODEVCPIVCRvdiffVDLVDMVDM++VDM-SLVDSLVDTVDUvdxve

Try this search on Wikipedia, OneLook, Google


Loading