Ковалев И.В., Русаков М.А., Царев Р.Ю. Информатика. Надежность и программно-информационные технологии

Красноярск: ИПК СФУ, 2010. — 102 с.Рассмотрены вопросы проектирования и оценки надежности информационных систем. Приведены различные подходы анализа программных средств как традиционной, так и распределенной архитектуры, а также мультиверсионного программного обеспечения. Изложены основы мультиверсионного проектирования, показан объектно-ориентированный подход к повышению надежности через введение избыточности программного обеспечения. Особое внимание уделено проблеме надежности программно-информационных технологий корпоративных структур.
Предназначено для студентов укрупненной группы 230000 «Вычислительная техника и информационные технологии» (напр. 230100). Может быть полезно специалистам, работающим в области проектирования, оценки и повышения надежности программного обеспечения, а также аспирантам и докторантам.