logo

Standards Manage Your Business

We Manage Your Standards

IEC

ISO/IEC 13817-1:1996

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

Standard Details

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.

General Information

Status : ACTIVE
Standard Type: Main
Document No: ISO/IEC 13817-1:1996
Document Year: 1996
Pages: 399
Edition: 1.0
  • Section Volume:
  • ISOIEC JTC 1.SC 22 Programming languages, their environments and system software interfaces
  • ICS:
  • 35.060 Languages used in information technology

Life Cycle

Currently Viewing

ACTIVE
ISO/IEC 13817-1:1996
Knowledge Corner

Expand Your Knowledge and Unlock Your Learning Potential - Your One-Stop Source for Information!

© Copyright 2024 BSB Edge Private Limited.

Enquire now +