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
Preview
недоступно на русском языке
Опубликовано (Версия 1, 1996)
Последний раз этот публикация был пересмотрен в  2024. Поэтому данная версия остается актуальной.

ISO/IEC 13817-1:1996

Язык
Формат
CHF 216
Пересчитать швейцарские франки (CHF) в ваша валюта

Тезис

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.

Общая информация

  • Текущий статус
     : Опубликовано
    Дата публикации
     : 1996-12
    Этап
    : Подтверждение действия международного стандарта [90.93]
  • Версия
     : 1
  • Технический комитет :
    ISO/IEC JTC 1/SC 22
    ICS :
    35.060 
  • RSS обновления

Жизненный цикл

Появились вопросы?

Ознакомьтесь с FAQ

  2. Интернет-магазин
  3. Каталог стандартов
  4. МКС
  5. 35
  6. 35.060
  7. ISO/IEC 13817-1:1996