ISO/IEC 13817-1:1996
Information technology - Programming languages, their environments and system software interfaces - Vienna Development Method - Specification Language - Part 1: Base language
Ausgabedatum:
1996-12
Edition:
1.0
Sprache: EN - englisch
Seitenzahl: 399 VDE-Artnr.: 251777
Specifies the model based specification language VDM-SL (Vienna Development Method - Specification Language). Contains the mathematical and interchange representation, gives the syntax, the static and the dynamic semantics, and conformity for specification and tools.