Information technology. Programming languages, their environments and system software interfaces. Vienna Development Method. Specification language -- Base language
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.
| SDO | BSI: British Standards Institution |
| Document Number | ISO/IEC 13817-1 |
| Publication Date | April 15, 1997 |
| Language | en - English |
| Page Count | |
| Revision Level | |
| Supercedes | |
| Committee | IST/5 |