СПАРК (язык программирования)
SPARK (язык программирования) Определение и история SPARK SPARK – это язык программирования, основанный на Ada, предназначенный для разработки высоконадежного ПО. […]
Вики
Ada programming language family
Вики
Профиль Равенскара
Профиль Ravenscar Профиль Ravenscar в Ada Профиль Ravenscar предназначен для управления задачами в реальном времени и критически важен для безопасности.