CSA CAN/CSA-ISO/IEC TR 24718-06 Information technology - Programming languages - Guide for the use of the Ada Ravenscar Profile in high integrity systems
Данный раздел/документ содержится в продуктах:
- Техэксперт: Машиностроительный комплекс
- Картотека зарубежных и международных стандартов
- ISO ISO/IEC 1539-1 CORR 1 Information technology - Programming languages - Fortran Part 1: Base language TECHNICAL CORRIGENDUM 1 - Third Edition
- 35
- ISO ISO/IEC 1539-1 CORR 1 Information technology - Programming languages - Fortran Part 1: Base language TECHNICAL CORRIGENDUM 1 - Third Edition
- 35.060
- ISO ISO/IEC 1539-1 CORR 1 Information technology - Programming languages - Fortran Part 1: Base language TECHNICAL CORRIGENDUM 1 - Third Edition
- ISO ISO/IEC 9899 Information technology - Programming languages - C - Third Edition
- CSA CAN/CSA-ISO/IEC ISP 15287-2-12 Information technology — Standardized Application Environment Profile — Part 2: Posix Realtime Application Support (AEP)
- ISO ISO/IEC 9899 Information technology - Programming languages - C - Third Edition
- CSA CAN/CSA-ISO/IEC ISP 15287-2-12 Information technology — Standardized Application Environment Profile — Part 2: Posix Realtime Application Support (AEP)
- ISO ISO/IEC 9899 Information technology - Programming languages - C - Third Edition
- CSA CAN/CSA-ISO/IEC ISP 15287-2-12 Information technology — Standardized Application Environment Profile — Part 2: Posix Realtime Application Support (AEP)
- CSA CAN/CSA-ISO/IEC ISP 15287-2-12 Information technology — Standardized Application Environment Profile — Part 2: Posix Realtime Application Support (AEP)
- ISO ISO/IEC 8652 Information technology - Programming languages - Ada - Third Edition
- CSA CAN/CSA-ISO/IEC TR 24718-06 Information technology - Programming languages - Guide for the use of the Ada Ravenscar Profile in high integrity systems
- ISO ISO/IEC TR 15942 Information Technology - Programming Languages - Guide for the Use of the Ada Programming Language in High Integrity Systems - First Edition
- Картотека зарубежных и международных стандартов
CSA Standards
Information technology - Programming languages - Guide for the use of the Ada Ravenscar Profile in high integrity systems
N CAN/CSA-ISO/IEC TR 24718-06
Annotation
This Technical Report provides a description of the motivations behind the Ravenscar Profile, to show how Ada programs using the profile can be analysed, and gives examples of usage.
Автоматический перевод:
Информационные технологии - Языки программирования - Руководство для использования Профиля Ada Ravenscar в высоких системах целостности
Этот Технический отчет предоставляет описание мотиваций позади Профиля Ravenscar, чтобы показать, как программы Ады с помощью профиля могут быть проанализированы и дают примеры использования.
Эквиваленты данного стандарта:
- ISO ISO/IEC TR 24718 Information technology - Programming languages - Guide for the use of the Ada Ravenscar Profile in high integrity systems - First Edition
- BSI PD ISO/IEC TR 24718 Information technology Programming languages Guide for the use of the Ada Ravenscar Profile in high integrity systems
