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