H ? « ‹ ← → › »

Language peer sets for VDM++:
Germany↑
Germany/1993↑
Designed 1993 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑

VDM++(ID:1755/vdm001)

Country: Germany
Designed 1993
Published: 1993

Object-oriented extension of VDM-SL (Vienna method language)

Structures:

→

VDM++

Extension of

References:

Lano, K. et al (eds) (1993) Lano, K. et al (eds) "Object-Oriented Specification in VDM++", in Object Oriented Specification Case Studies, P-H 1993.