Название: Надежность программного обеспечения Автор: Т. Тейер, М. Липов, Э. Нельсон Издательство: Мир Год: 1981 Формат: djvu Страниц: 323 Размер: 3,2 Mb Язык: Русский
В книге американских специалистов фирмы TRW рассмотрены возможные ошибки при разработке систем программного обеспечения ЭВМ и изложены методы выявления причин их возникновения. Основное внимание уделено построению математических моделей программного обеспечения, позволяющих оценивать его надежность. Для разработчиков программного обеспечения, инженеров-математиков, обслуживающих ЭВМ, а также студентов и аспирантов, изучающих системное и прикладное программное обеспечение.