недоступно на русском языке

Тезис Предпросмотр

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.


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

  • Текущий статус :  Published
    Дата публикации : 1996-12
  • Версия : 1
  • :
    ISO/IEC JTC 1/SC 22
    Programming languages, their environments and system software interfaces
  • 35.060
    Languages used in information technology

Приобрести данный стандарт

Формат Язык
PDF
Бумажный
  • CHF198

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

Стандарт, который пересматривается каждые 5 лет



Изменения / Исправления

  • Подтверждено
    ISO/IEC 13817-1:1996

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

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

Работа с клиентами
+41 22 749 08 88

Часы работы:
Понедельник – пятница: 09:00-12:00, 14:00-17:00 (UTC+1)

Будьте в курсе актуальных новостей ИСО

Подписывайтесь на наши новости, обзоры, а также на информацию о продуктах.