forum.opennet.ru

Составление сообщения

Исходное сообщение

"Вышел GNAT GPL 2011 - набор средств разработки на языке прог..."
Отправлено vasily_pupkin, 20-Июн-11 10:43

>> кстати все эти статически проверенные проги все равно работают под осями написанными на ц, так что какая разница
С чего ты взял? :)
Ada + Generic OS ~= EAL2
А вообще с соответствующими RTOS и железом можно доехать до EAL5

Исходное сообщение
"Вышел GNAT GPL 2011 - набор средств разработки на языке прог..." Отправлено vasily_pupkin, 20-Июн-11 10:43
>> кстати все эти статически проверенные проги все равно работают под осями написанными на ц, так что какая разница С чего ты взял? :) Ada + Generic OS ~= EAL2 А вообще с соответствующими RTOS и железом можно доехать до EAL5

Ваше сообщение

Имя*:

EMail:

Для отправки ответов на email укажите знак ! перед адресом, например, !user@host.ru (!! - не показывать email).
Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.

Заголовок*:

Сообщение*:

При общении не допускается: неуважительное отношение к собеседнику, хамство, унизительное обращение, ненормативная лексика, переход на личности, агрессивное поведение, обесценивание собеседника, провоцирование флейма голословными и заведомо ложными заявлениями. Не отвечайте на сообщения, явно нарушающие правила - удаляются не только сами нарушения, но и все ответы на них. Лог модерирования.

Партнёры:

Хостинг:

Закладки на сайте
Проследить за страницей

Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру