Reference number
ISO/IEC 13817-1:1996
© ISO 2024
International Standard
ISO/IEC 13817-1:1996
Information technology — Programming languages, their environments and system software interfaces — Vienna Development Method — Specification Language — Part 1: Base language
Edition 1
1996-12
Read sample
Published (Edition 1, 1996)
This publication was last reviewed and confirmed in 2024. Therefore this version remains current.

ISO/IEC 13817-1:1996

Language
Format
CHF 216
Convert Swiss francs (CHF) to your currency

Abstract

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
     : Published
    Publication date
     : 1996-12
    Stage
    : International Standard confirmed [90.93]
  • Edition
     : 1
    Number of pages
     : 399
  • Technical Committee :
    ISO/IEC JTC 1/SC 22
    ICS :
    35.060 
  • RSS updates

Life cycle

Got a question?

Check out our Help and Support

  2. Store
  3. Standards catalogue
  4. ICS
  5. 35
  6. 35.060
  7. ISO/IEC 13817-1:1996