NEN-ISO/IEC 13817-1
Information technology - Programming languages, their environments and system software interfaces - Vienna Development Method - Specifiction Language - Part 1: Base language (ISO/IEC 13817-1:1996)
active, Most Current
| Organization: | NEN |
| Publication Date: | 1 June 1997 |
| Status: | active |
| Page Count: | 418 |
| ICS Code (Languages used in information technology): | 35.060 |
scope:
Specifies the model based specification language VDM-SL (Vienna Development Method Specification Language). It specifies: - two representations: the mathematical and interchange; - the syntax; - the static semantics; - the dynamic semantics; - conformity for specifications and tools.
Document History
NEN-ISO/IEC 13817-1
June 1, 1997
Information technology - Programming languages, their environments and system software interfaces - Vienna Development Method - Specifiction Language - Part 1: Base language (ISO/IEC 13817-1:1996)
Specifies the model based specification language VDM-SL (Vienna Development Method Specification Language). It specifies: - two representations: the mathematical and interchange; - the syntax; - the...