VDM-SL

GPTKB entity

Statements (25)
Predicate Object
gptkbp:instanceOf formal specification language
gptkbp:basedOn gptkb:set_theory
predicate logic
gptkbp:developedBy Vienna Development Method project
gptkbp:domain software engineering
gptkbp:firstAppearance 1980s
gptkbp:fullName Vienna Development Method Specification Language
gptkbp:hasFeature functions
postconditions
preconditions
data types
invariants
ISO/IEC 13817-1:1996
gptkbp:hasSyntax gptkb:mathematical_concept
https://www.w3.org/2000/01/rdf-schema#label VDM-SL
gptkbp:influenced gptkb:VDM++
gptkb:VDM-RT
gptkbp:usedFor formal specification of software systems
gptkbp:uses gptkb:Overture
gptkb:VDMTools
gptkbp:website https://overturetool.org/
https://www.vdmtools.jp/en/
gptkbp:bfsParent gptkb:VDM
gptkb:VDM_(Vienna_Development_Method)
gptkbp:bfsLayer 7