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
|