 Т. Тейер, М. Липов, Э. Нельсон
 Надежность программного обеспечения
 Анализ крупномасштабных разработок
 Перевод с английского под редакцией канд. технических наук Е.К. Масловского
 Москва: Издательство «Мир», 1981

 ББК 32.973
 Т30
 УДК 681.3

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

 ББК 32.973

 Редакция литературы по новой технике

 КРАТКОЕ ОГЛАВЛЕНИЕ:
 Предисловие редактора перевода (5).
 Предисловие (8).
 Глава 1. Цели исследования и описание исходных данных (11).
 Глава 2. Классификация ошибок (39).
 Глава 3. Эмпирические данные о надежности программного обеспечения (77).
 Глава 4. Регрессионный анализ экспериментальных данных (126).
 Глава 5. Модели надежности программного обеспечения (207).
 Глава 6. Приложения и развитие математической теории надежности программного обеспечения (228).
 Глава 7. Организация сбора данных о надежности (274).
 Приложение А. Терминологический словарь (299).
 Список сокращений (302).
 Приложение В. Образцы форм для сбора данных (303).
 Литература (317).
 Предметный указатель (320).