ANSI - INCITS/ISO/IEC 13817-1
Information technology - Programming languages, their environments and system software interfaces - Vienna Development Method - Specification Language - Part 1: Base language
| Organization: | ANSI |
| Publication Date: | 15 December 1996 |
| Status: | active |
| Page Count: | 416 |
scope:
This part of ISO/IEC 13817 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.
It does not specify:
- the proof obligations;
- the reification rules;
- the size or complexity of a specification that will exceed the capacity of any specific data processing system or the capacity of a particular tool, nor the actions to be taken when the corresponding limits are exceeded;
- the minimal requirements of a data processing system that is capable of supporting an implementation of a tool;
- the method that tools use for reporting errors.
Document History
