Многоэтапный анализ архитектурной надежности и синтез отказоустойчивого программного обеспечения сложных систем
View/ Open:
Full Text on Another Site
URI (for links/citations):
Author:
Кузнецов, Александр Сергеевич
Ченцов, Сергей Васильевич
Царев, Роман Юрьевич
Corporate Contributor:
Сибирский федеральный университет
Институт космических и информационных технологий
Date:
2013Bibliographic Citation:
Кузнецов, Александр Сергеевич. Многоэтапный анализ архитектурной надежности и синтез отказоустойчивого программного обеспечения сложных систем : монография / А. С. Кузнецов, С. В. Ченцов, Р. Ю. Царев, 2013. - 142 с. - Текст : электронный.Монография.
Доступ к полному тексту открыт из сети СФУ, вне сети доступ возможен для читателей Научной библиотеки СФУ или за плату.
Abstract:
В монографии предложен комплекс математических моделей и алгоритмов анализа надежности программного обеспечения сложных систем с учетом их многоуровневости и распределенности архитектуры. Представлена система построения трансляторов мультисинтаксических языков программирования мультиверсионного программного обеспечения сложных систем. Предназначена специалистам, работающим в области проектирования и разработки программного обеспечения, а также аспирантам и докторантам. Материалы монографии рекомендуются к использованию при проведении лекционных и практических занятий у магистрантов укрупненных групп 220000 «Автоматика и управление», 230000 «Информатика и вычислительная техника».
Rights:
Для личного использования.
Collections:
Metadata:
Show full item recordRelated items
Showing items related by title, author, creator and subject.
-
Система оценки качества программного обеспечения, охватывающая этапы разработки и использования библиотек функций
Якимов, Иван Александрович (Сибирский федеральный университет, Красноярск, 2018) -
МОДЕЛЬ ОЦЕНКИ НАДЕЖНОСТИ ОБЪЕКТНО-ОРИНТИРОВАНОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
Зозуля, Е. Н. (Сибирский федеральный университет, 2011) -
ОГРАНИЧЕНИЯ МЕТОДОВ ОЦЕНКИ ПРИ РАЗРАБОТКЕ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
Сороки, И. Г. (Сибирский федеральный университет, 2011) -
МЕТОДЫ ОЦЕНКИ НАДЕЖНОСТИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
Штарик, А. В. (Сибирский федеральный университет, 2011) -
РАЗРАБОТКА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ДЛЯ ПРОЕКТИРОВАНИЯ СПИРАЛЬНЫХ СВЁРЛ
Украинская, Н. В. (Сибирский федеральный университет, 2011)