loading preview...
summary
Information technology. Programming languages, their environments and system software interfaces. Vienna Development Method. Specification language. Base language | Status: Confirmed, Current
description
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.
- — 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.
Details
Publisher
BS
File size
33.31 MB
Pages
416
Format
PDF
Publication date
1997-04-15
