Последний раз этот стандарт был пересмотрен в 2008. Поэтому данная версия остается актуальной
Тезис Предпросмотр
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
-
Технический комитет:Programming languages, their environments and system software interfaces
-
- ICS :
-
Languages used in information technology
Приобрести данный стандарт
Формат | Язык | |
---|---|---|
Бумажный |
- CHF198
Жизненный цикл
Стандарт, который пересматривается каждые 5 лет
Изменения / Исправления
-
Подтверждено
ISO/IEC 13817-1:1996
Появились вопросы?
Ознакомьтесь с FAQ
Работа с клиентами
+41 22 749 08 88
Часы работы:
Понедельник – пятница: 09:00-12:00, 14:00-17:00 (UTC+1)
Будьте в курсе актуальных новостей ИСО
Подписывайтесь на наши новости, обзоры, а также на информацию о продуктах.