Тезис
This document provides guidance on the use of the Ravenscar Profile for Ada software using concurrency and intended to be verified up to, and including, the very highest integrity levels.
Общая информация
-
Текущий статус: В стадии разработкиЭтап: Регистрация окончательного проекта международного стандарта (FDIS) для официального принятия [50.00]
-
Версия: 1
-
Технический комитет :ISO/IEC JTC 1/SC 22ICS :35.060
- RSS обновления
Жизненный цикл
-
Ранее
ОпубликованоISO/IEC TR 24718:2005
-
Сейчас
-
00
Предварительная стадия
-
10
Стадия, связанная с внесением предложения
-
20
Подготовительная стадия
-
30
Стадия, связанная с подготовкой проекта комитета
-
40
Стадия, связанная с рассмотрением проекта международного стандарта
-
50
Стадия, на которой осуществляется принятие стандарта
-
60
Стадия, на которой осуществляется публикация
-
90
Стадия пересмотра
-
95
Стадия, на которой осуществляется отмена стандарта
-
00