Профиль Равенскара

От / / Оставьте комментарий

Оглавление1 Профиль Ravenscar1.1 Профиль Ravenscar в Ada1.2 Ограничения и директивы компилятора1.3 Рекомендации и внешние ссылки2 Профиль Равенскара — Википедия Профиль […]

Ada (programming language), Ada programming language family, Programming language topic stubs, Ада (язык программирования), Незавершенные темы по языку программирования, Семейство языков программирования Ада

Профиль Ravenscar

  • Профиль Ravenscar в Ada

    • Профиль Ravenscar предназначен для управления задачами в реальном времени и критически важен для безопасности. 
    • Определен в Ada 95 и является частью Ada 2012. 
    • Назван в честь английской деревни, где проходил IRTAW 8. 

  • Ограничения и директивы компилятора

    • Приложение использует директивы компилятора, аналогичные прагмам конфигурации. 

  • Рекомендации и внешние ссылки

    • В статье есть ссылки на другие ресурсы, связанные с Ada и SPARK. 
    • Статья является заглушкой и предлагает помощь в расширении Википедии. 

Полный текст статьи:

Профиль Равенскара — Википедия

Похожие статьи:

  1. Директива (программирование) Оглавление1 Директива (программирование)1.1 Определение директивы в программировании1.2 Примеры и использование директив1.3 История и распространение директив1.4 Директивы...
  2. СПАРК (язык программирования) Оглавление1 SPARK (язык программирования)1.1 Определение и история SPARK1.2 Особенности и применение SPARK1.3 Инструменты и проверка1.4 История...
  3. Электронная конфигурация Оглавление1 Электронная конфигурация1.1 Электронная конфигурация1.2 Оболочки и подоболочки1.3 Обозначение электронных конфигураций1.4 Порядок записи орбиталей1.5 Энергия основного...
  4. Элемент конфигурации Оглавление1 Элемент конфигурации1.1 Определение и функции элементов конфигурации1.2 Идентификация и управление изменениями1.3 Типы и атрибуты элементов...
  5. Электронная конфигурация Оглавление1 Электронная конфигурация1.1 Электронная конфигурация1.2 Оболочки и подоболочки1.3 Обозначение электронных конфигураций1.4 Порядок записи орбиталей1.5 Энергия основного...
  6. Корректность компилятора Оглавление1 Корректность компилятора1.1 Основы корректности компилятора1.2 Формальная проверка компилятора1.3 Проверка перевода1.4 Тестирование компилятора1.5 Полный текст статьи:2...
  7. Ада Хелс Оглавление1 Здоровье Ada1.1 Основание и развитие Ada Health1.2 История и вдохновение1.3 Первый продукт и его развитие1.4...
  8. ГНАТ Оглавление1 комар1.1 Обзор GNAT1.2 История GNAT1.3 Лицензия и версии GNAT1.4 Дополнительные ресурсы1.5 Полный текст статьи:2 ГНАТ...
  9. ОпенХМПП Оглавление1 OpenHMPP открыть1.1 Основы OpenHMPP1.2 Архитектура и функции1.3 Директивы OpenHMPP1.4 Обмен данными между кодовыми наборами1.5 Региональное...
  10. Спецификация семантического интерфейса Ada Спецификация семантического интерфейса Ada ASIS – это многоуровневая открытая архитектура для доступа к библиотечной среде Ada. ...
  11. Данные в реальном времени Оглавление1 Данные в режиме реального времени1.1 Определение и использование данных в реальном времени1.2 Экономические данные в...
  12. Сверхкритический профиль Оглавление1 Сверхкритический профиль1.1 История и происхождение1.2 Конструкция и характеристики1.3 Применение и преимущества1.4 Поведение при срыве1.5 Проблема...
  13. Центральная конфигурация Оглавление1 Центральная конфигурация1.1 Центральные конфигурации в небесной механике1.2 Примеры центральных конфигураций1.3 Динамика центральных конфигураций1.4 Перечисление центральных...
  14. Директива (Европейский Союз) Оглавление1 Directive (European Union)1.1 Основы законодательства Европейского союза1.2 Законодательные акты ЕС1.3 Процедура принятия директив1.4 Обоснование использования...
  15. Таблица Менделеева – Arc.Ask3.Ru Оглавление1 Периодическая таблица Менделеева1.1 История и структура периодической таблицы1.2 Периодический закон и его развитие1.3 Современные представления...
  16. Конфигурация Гессена Оглавление1 Конфигурация Гессе1.1 Определение и свойства конфигурации Гессе1.2 История и изучение1.3 Описание и обозначения1.4 Симметрии и...
  17. Профиль Оглавление1 Аэродинамический профиль1.1 Основы аэродинамики1.2 Теория Кутты-Жуковского1.3 Аэродинамический центр1.4 Примеры и приложения1.5 Дополнительные ресурсы2 Профиль —...
  18. ЭкстратуМ Оглавление1 Стратум1.1 Обзор XtratuM1.2 История и развитие1.3 Критерии проектирования1.4 Совместимость и API1.5 Поддержка сред выполнения1.6 Дополнительные...
  19. Общение в реальном времени Оглавление1 Общение в режиме реального времени1.1 Определение и типы систем связи в реальном времени1.2 Критерии жестких...
  20. Межпроцедурная оптимизация Оглавление1 Межпроцедурная оптимизация1.1 Оптимизация компилятора1.2 Оптимизация на уровне исходного кода1.3 Оптимизация на уровне объектного кода1.4 Оптимизация...
  21. Конфигурация (геометрия) Конфигурация (геометрия) Конфигурации – это абстрактные структуры инцидентности точек и линий.  Конфигурации могут быть классифицированы по...
  22. Cisco Webex Оглавление1 Cisco Webex1.1 Обзор компании Webex1.2 История и развитие1.3 Приобретения и судебные разбирательства1.4 Рекомендации и внешние...

Оставьте комментарий

Прокрутить вверх