Подготовка к публикации
Технические спецификации
ISO/IEC TS 24718
Information technology — Programming languages — Guidance for the use of the Ada Ravenscar Profile in high integrity systems
Ссылочный номер
ISO/IEC TS 24718
Версия 1
© ISO 2024
Подготовка к публикации Технические спецификации
Подготовка к публикации
Данный международный стандарт находится на заключительных этапах публикации (будет доступен примерно через семь недель).
Текущее издание: 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.

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

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

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

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

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

9
Индустриализация, инновации и инфраструктура

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

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

  2. Интернет-магазин
  3. Каталог стандартов
  4. ТК
  5. ISO/IEC JTC 1/SC 22
  6. ISO/IEC TS 24718