Проект
Технические спецификации
ISO/IEC DTS 24718
Information technology — Programming languages — Guidance for the use of the Ada Ravenscar Profile in high integrity systems
Ссылочный номер
ISO/IEC DTS 24718
Версия 1
Проект Технические спецификации
ISO/IEC DTS 24718
86472
Проект данного международного стандарта находится на этапе утверждения.
Текущее издание: ISO/IEC TR 24718:2005

Тезис

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 22
    35.060 
  • RSS обновления

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

Цели в области устойчивого развития

Данный стандарт разработан для достижения следующих Цель устойчивого развития

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

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