PRICES include / exclude VAT
Homepage>BS Standards>35 INFORMATION TECHNOLOGY. OFFICE MACHINES>35.060 Languages used in information technology>BS ISO/IEC 13817-1:1996 Information technology. Programming languages, their environments and system software interfaces. Vienna Development Method. Specification language Base language
Sponsored link
immediate downloadReleased: 1997-04-15
BS ISO/IEC 13817-1:1996 Information technology. Programming languages, their environments and system software interfaces. Vienna Development Method. Specification language Base language

BS ISO/IEC 13817-1:1996

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

Format
Availability
Price and currency
English Secure PDF
Immediate download
486.20 USD
English Hardcopy
In stock
486.20 USD
Standard number:BS ISO/IEC 13817-1:1996
Pages:416
Released:1997-04-15
ISBN:0 580 27282 6
Status:Standard
DESCRIPTION

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.