VDM++

GPTKB entity

Statements (33)
Predicate Object
gptkbp:instanceOf gptkb:programming_language
gptkbp:basedOn Vienna Development Method
gptkbp:designedFor formal specification
gptkbp:developedBy gptkb:IFAD
gptkb:VDM_Europe
gptkbp:documentation The VDM++ Language Manual
gptkbp:firstAppearance 1990s
gptkbp:hasFeature classes
inheritance
operations
types
synchronization
polymorphism
threading
encapsulation
functions
assertions
invariants
data abstraction
pre- and post-conditions
https://www.w3.org/2000/01/rdf-schema#label VDM++
gptkbp:implementedIn gptkb:VDMTools
Overture tool
gptkbp:paradigm object-oriented
formal method
gptkbp:standardizedBy ISO/IEC 13817-1:1996
gptkbp:successor gptkb:VDM-SL
gptkbp:supports concurrency
object-orientation
gptkbp:usedFor modeling software systems
gptkbp:bfsParent gptkb:VDM
gptkb:VDM_(Vienna_Development_Method)
gptkbp:bfsLayer 7