Statements (24)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb: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 |
| 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 |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
VDM
|