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 - First Edition
Данный раздел/документ содержится в продуктах:
- Техэксперт: Машиностроительный комплекс
- Картотека зарубежных и международных стандартов
- JSA JIS X 3005-10 Information technology - Database languages - SQL - Part 10: Object Language Bindings (SQL/OLB)
- 35
- JSA JIS X 3005-10 Information technology - Database languages - SQL - Part 10: Object Language Bindings (SQL/OLB)
- 35.060
- JSA JIS X 3005-10 Information technology - Database languages - SQL - Part 10: Object Language Bindings (SQL/OLB)
- JSA JIS X 3005-3 Information technology - Database languages - SQL - Part 3: Call-Level Interface (SQL/CLI)
- JSA JIS X 3005-3 Information technology - Database languages - SQL - Part 3: Call-Level Interface (SQL/CLI)
- JSA JIS X 3005-3 Information technology - Database languages - SQL - Part 3: Call-Level Interface (SQL/CLI)
- JSA JIS X 3005-2 Information technology - Database languages - SQL - Part 2: Foundation (SQL/Foundation)
- JSA JIS X 3006-2 Information technology - Database languages - SQL multimedia and application packages - Part 2: Full-Text
- JSA JIS X 3005-4 Information technology - Database languages - SQL - Part 4: Persistent Stored Modules (SQL/PSM)
- JSA JIS X 3005-9 Information technology - Database languages - SQL - Part 9: Management of External Data (SQL/MED)
- ISO ISO/IEC 8652 CORR 1 Programming languages - Ada TECHNICAL CORRIGENDUM 1 - Third Edition
- Картотека зарубежных и международных стандартов
CSA Standards
Information technology - Programming languages - Guide for the use of the Ada Ravenscar Profile in high integrity systems - First Edition
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, чтобы показать, как программы Ады с помощью профиля могут быть проанализированы и дают примеры использования.
Эквиваленты данного стандарта:
Уважаемый пользователь!
