Форма пошуку Назад
укр рус eng
 Cписок

Риган П., Хемилтон С.
NASA: миссия надежна.

Вид документа: Стаття періодики
Автор: Риган П., Хемилтон С. Вид автора: персона
Мова: Російська Обсяг: С. 45-53

Аннотацiя:Американскому космическому агенству приходится решать весьма непростые задачи создания надежного программного обеспечения. Специалисты NASA, занимающиеся полетами в глубокий космос, преодолевают очевидный кризис в разработке программного обеспечения, опираясь на два дополняющих друг друга подхода. Один уделяет первостепенное внимание программной инженерии, а второй использует потенциал автоматической генерации и провеки корректности кода.

Є складовою частиною документа: Открытые системы. СУБД

Відомості щодо головного
 Назва головного документа:Открытые системы. СУБД
 Дата видання головного документа:2004
 Номер частини головного документа:3

Загальна інформація
 Бібліографія:С. 53