DS/ISO/IEC TR 15942:2000 Информационные технологии. Языки программирования. Руководство по использованию языка программирования Ada в системах высокой целостности. - Стандарты и спецификации PDF

DS/ISO/IEC TR 15942:2000
Информационные технологии. Языки программирования. Руководство по использованию языка программирования Ada в системах высокой целостности.

Стандартный №
DS/ISO/IEC TR 15942:2000
Дата публикации
2000
Разместил
Danish Standards Foundation
Последняя версия
DS/ISO/IEC TR 15942:2000
 

сфера применения
В этом техническом отчете общие требования переводятся в конкретные требования Ada. Например, общий стандарт может требовать, чтобы динамическое тестирование обеспечивало подтверждение выполнения всех операторов в коде приложения.

DS/ISO/IEC TR 15942:2000 История

  • 2000 DS/ISO/IEC TR 15942:2000 Информационные технологии. Языки программирования. Руководство по использованию языка программирования Ada в системах высокой целостности.

стандарты и спецификации

ISO/IEC TR 15942:2000 технологии. Языки программирования. Руководство по использованию языка программирования Ada в системах высокой целостности. BS ISO/IEC TR 15942:2000 Информационные технологии. Языки программирования. Руководство по использованию языка программирования Ada в системах высокой целостности. GSO ISO/IEC TR 15942:2021 Информационные технологии. Языки программирования. Руководство по использованию языка программирования Ada в системах высокой целостности. CAN/CSA-ISO/IEC TR 15942:2004 технологии. Языки программирования. Руководство по использованию языка программирования Ada в системах высокой целостности. BH GSO ISO/IEC TR 15942:2022 Информационные технологии. Языки программирования. Руководство по использованию языка программирования Ada в системах высокой целостности. DANSK DS/ISO/IEC TR 15942:2000 технологии. Языки программирования. Руководство по использованию языка программирования Ada в системах высокой целостности. CSA ISO/IEC TR 15942-04:2004 Информационные технологии Языки программирования Руководство по использованию языка программирования Ada в системах высокой целостности ISO CAN/CSA-ISO/IEC TR 15942-2004(R2019 Информационные технологии. Языки программирования. Руководство по использованию языка программирования Ada в системах высокой целостности (принят ISO/IEC 8652:1995/Amd 1:2007 Информационные технологии - Языки программирования - Ада; Поправка 1



© 2025. Все права защищены.