VDM-RT

GPTKB entity

Statements (24)
Predicate Object
gptkbp:instanceOf formal specification language
gptkbp:developedBy VDM community
gptkbp:documentedIn VDM-RT Language Manual
gptkbp:firstAppearance 2000s
gptkbp:fullName Vienna Development Method - Real Time
gptkbp:hasFeature CPU resource modeling
bus communication modeling
distributed systems modeling
gptkbp:hasSemantics denotational semantics
gptkbp:hasSyntax formal mathematical notation
https://www.w3.org/2000/01/rdf-schema#label VDM-RT
gptkbp:originatedIn gptkb:VDM++
gptkbp:partOf VDM family
gptkbp:relatedTo gptkb:VDM++
gptkb:VDM-SL
gptkbp:supports concurrency
object-oriented modeling
timing constraints
gptkbp:usedFor modeling real-time systems
gptkbp:usedIn embedded systems design
gptkbp:uses Overture tool
gptkbp:bfsParent gptkb:VDM
gptkb:VDM_(Vienna_Development_Method)
gptkbp:bfsLayer 7