VDM (Vienna Development Method)
GPTKB entity
Statements (30)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
formal method
|
| gptkbp:basedOn |
gptkb:mathematics
|
| gptkbp:containsCommunity |
gptkb:Formal_Methods_Europe
gptkb:VDM_Europe |
| gptkbp:developedBy |
gptkb:IBM_Vienna_Laboratory
1970s |
| gptkbp:hasConcept |
abstract data types
invariant postcondition precondition model-based specification proof obligation |
| gptkbp:hasFeature |
gptkb:ISO/IEC_13817-1
|
| gptkbp:hasNotationFor |
gptkb:VDM++
gptkb:VDM-RT gptkb:VDM-SL |
| https://www.w3.org/2000/01/rdf-schema#label |
VDM (Vienna Development Method)
|
| gptkbp:influenced |
gptkb:Z_notation
gptkb:B-Method gptkb:RAISE |
| gptkbp:languageFamily |
formal specification language
|
| gptkbp:publishedIn |
gptkb:An_Introduction_to_Formal_Specification_and_Z_and_VDM
gptkb:The_Vienna_Development_Method:_The_Meta-Language |
| gptkbp:usedFor |
gptkb:technical_specification
software development formal verification |
| gptkbp:uses |
gptkb:Overture
gptkb:VDMTools |
| gptkbp:bfsParent |
gptkb:Z_notation
|
| gptkbp:bfsLayer |
6
|