|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
Вряд ли можно для военных применений оценку ошибок приводить в денежном выражении.
Примеры - самолет, сбитый над Сочи, укранской ракетой, содержавшей явные ошибки в бортовом програмном обеспечении. Жаль, что в сое время не был воспринят опыт успешной разработки бортового программного обеспечения для космического проекта БУРАН, где также была использована IBM-овская корпоративная технология разработок программного обеспечения. Это тоже был настоящий проект. Подробности на сайтах Єлектронного Университета
Да, в Интернете есть подробности по технологии разработки Интернет-проектов с использованием методов доказательного (безошибочного) программирования на сайте "Интернет-Технологии" [ссылка...][ссылка...]и на сайте "Управление Интернет-Проектами" [ссылка...][ссылка...] Последнее - тема нашего доклада, планируемого на Всемирном Конгрессе по Управлению Проектами. |

