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 в системах высокой целостности.

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