Подробное описание документа
А. С. Кузнецов, С. В. Ченцов, Р. Ю. Царев
Многоэтапный анализ архитектурной надежности и синтез отказоустойчивого программного обеспечения сложных систем / А. С. Кузнецов, С. В. Ченцов, Р. Ю. Царев ; Сибирский федеральный университет. - Красноярск : Сибирский федеральный университет (СФУ), 2013. -
В монографии предложен комплекс математических моделей и алгоритмов анализа надежности программного обеспечения сложных систем с учетом их многоуровневости и распределенности архитектуры. Представлена система построения трансляторов мультисинтаксических языков программирования мультиверсионного программного обеспечения сложных систем.Предназначена специалистам, работающим в области проектирования и разработки программного обеспечения, а также аспирантам и докторантам. Материалы монографии рекомендуются к использованию при проведении лекционных и практических занятий у магистрантов укрупненных групп 220000 «Автоматика и управление», 230000 «Информатика и вычислительная техника».
