BS ISO/IEC 13817-1:1996

This standard BS ISO/IEC 13817-1:1996 Information technology. Programming languages, their environments and system software interfaces. Vienna Development Method. Specification language is classified in these ICS categories:

• 35.200 Interface and interconnection equipment
• 35.060 Languages used in information technology

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.