Information technology. Programming languages, their environments and system software interfaces. Vienna Development Method. Specification language - Base language
Current
•
Published:
1 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;