Menu

0

ISO/IEC 13817-1:1996

Information technology — Programming languages, their environments and system software interfaces — Vienna Development Method — Specification Language — Part 1: Base language

Publication date:   Dec 19, 1996

General information

90.93 Standard confirmed   Jul 29, 2008

ISO/IEC

ISO/IEC JTC 1/SC 22 Programming languages, their environments and system software interfaces

International Standard

35.060   Languages used in information technology

Buying

  Published

PDF - €261.36

  English  



Buy

Scope

Specifies the model based specification language VDM-SL (Vienna Development Method - Specification Language). Contains the mathematical and interchange representation, gives the syntax, the static and the dynamic semantics, and conformity for specification and tools.

Life cycle

NOW

PUBLISHED
ISO/IEC 13817-1:1996
90.93 Standard confirmed
Jul 29, 2008