BS ISO/IEC 13817-1:1996 - Information technology. Programming languages, their environments and system software interfaces. Vienna Development Method. Specification language - Base language
Printed version of this is available at library. To request, please e-mail to referencepk@usm.my and include a copy of this record in your e-mail.
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.
BS ISO/IEC 13817-1:1996 - Information technology. Programming languages, their environments and system software interfaces. Vienna Development Method. Specification language - Base language