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 ISO/IEC 13817-1:1996

Publication date:   Dec 19, 1996

General information

90.93 Standard confirmed   Sep 24, 2024

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

Language in which you want to receive the document.

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
Sep 24, 2024