LINUX.ORG.RU

История изменений

Исправление seiken, (текущая версия) :

Там должны быть самые разные подсистемы с разными требованиями. И там , где Ada, решения должны удовлетворять всяким военным стандартам.

А вот ACM сообщает нам, что пентагон обратился за помощью к универам и лабораториям (Джонс Хопкинс, Карнеги Меллон, НИИ в Джорджии) в проведении проверки глючного кода в F-35. Всего под покровительством локхид мартин для F-35 наколбасили 8млн строк, и пентагон надеется исправить проблемы при помощи трех назависимых анализов данного говнокода. И это уже недавняя новость.

https://m-cacm.acm.org/news/250302-f-35s-buggy-software-prompts-pentagon-to-call-in-universities/fulltext

Исходная версия seiken, :

Там должны быть самые разные подсистемы с разными требованиями. И там где Ada они решения должны удовлетворять всяким военным стандартам.

А вот ACM сообщает нам, что пентагон обратился за помощью к универам и лабораториям (Джонс Хопкинс, Карнеги Меллон, НИИ в Джорджии) в проведении проверки глючного кода в F-35. Всего под покровительством локхид мартин для F-35 наколбасили 8млн строк, и пентагон надеется исправить проблемы при помощи трех назависимых анализов данного говнокода. И это уже недавняя новость.

https://m-cacm.acm.org/news/250302-f-35s-buggy-software-prompts-pentagon-to-call-in-universities/fulltext