Logo
Login Sign Up
Current Revision

BSI BS ISO/IEC 13817-1:1996

Information technology. Programming languages, their environments and system software interfaces. Vienna Development Method. Specification language -- Base language
Best Price Guarantee

$466.15

2-5 Days

$466.15

SAVE 10%

$839.07


Sub Total (1 Item(s))

$ 0.00

Estimated Shipping

$ 0.00

Total (Pre-Tax)

$ 0.00


or
British Standards Institution Logo

BSI BS ISO/IEC 13817-1:1996

Information technology. Programming languages, their environments and system software interfaces. Vienna Development Method. Specification language -- Base language

PUBLISH DATE 1997
BSI BS ISO/IEC 13817-1:1996

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
Publish Date Document Id Type View
April 15, 1997 BS ISO/IEC 13817-1:1996 Revision