Statements (24)
Predicate | Object |
---|---|
gptkbp:instanceOf |
formal method
|
gptkbp:basedOn |
gptkb:set_theory
predicate logic |
gptkbp:developedBy |
1970s
|
gptkbp:fullName |
Vienna Development Method
|
gptkbp:hasFeature |
ISO/IEC 13817-1:1996
|
gptkbp:hasLanguage |
VDM Specification Language (VDM-SL)
|
gptkbp:hasVariant |
gptkb:VDM++
gptkb:VDM-RT gptkb:VDM-SL |
https://www.w3.org/2000/01/rdf-schema#label |
VDM
|
gptkbp:influenced |
gptkb:Z_notation
gptkb:B-Method |
gptkbp:originatedIn |
gptkb:IBM_Vienna_Laboratory
|
gptkbp:usedFor |
software modeling
formal specification |
gptkbp:usedIn |
telecommunications
railway signaling safety-critical systems |
gptkbp:uses |
gptkb:Overture
gptkb:VDMTools |
gptkbp:website |
https://www.vdmportal.org/
|
gptkbp:bfsParent |
gptkb:Viedma_Air_Base
|
gptkbp:bfsLayer |
6
|