В книге американских специалистов фирмы TRW рассмотрены возможные ошибки при разработке систем программного обеспечения ЭВМ и изложены методы выявления причин их возникновения. Основное внимание уделено построению математических моделей программного обеспечения, позволяющих оценивать его надежность. Формулы, таблицы, графики, полигоны. Список литературы. Предметный указатель.