Полное описание
>
Кузнецов, Александр Сергеевич .
Многоэтапный анализ архитектурной надежности и синтез отказоустойчивого программного обеспечения сложных систем / А. С. Кузнецов, С. В. Ченцов, Р. Ю. Царев. - 1. - Красноярск : СФУ, 2013. - 142 с. : ил. - Библиогр.: с. 132-142 (124 назв.). - 100 экз. -
ISBN 978-5-7638-2730-9. - Текст : электронный.
В надзаг.: Сиб. федер. ун-т.
Содержание: >
ГРНТИ УДК 50.41 004.4.052 ББК 32.972 РУБ 09.04.01
Рубрики: Программное обеспечение ЭВМ -- Надежность
Аннотация: В монографии предложен комплекс математических моделей и алгоритмов анализа надежности программного обеспечения сложных систем с учетом их многоуровневости и распределенности архитектуры. Представлена система построения трансляторов мультисинтаксических языков программирования мультиверсионного программного обеспечения сложных систем.Предназначена специалистам, работающим в области проектирования и разработки программного обеспечения, а также аспирантам и докторантам. Материалы монографии рекомендуются к использованию при проведении лекционных и практических занятий у магистрантов укрупненных групп 220000 «Автоматика и управление», 230000 «Информатика и вычислительная техника».
Доп. точки доступа: Ченцов, Сергей Васильевич
Царев, Роман Юрьевич
Электронная библиотечная система ZNANIUM
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д9-13/97745)
ЭБС Znanium : 127282, г. Москва, ул. Полярная, д.31В, стр.1 (Шифр в БД-источнике (ZNANIUM): RU\infra-m\znanium\bibl\492347)>
Шифр в сводном ЭК: 53f949e7c30479276e0b88a09b0e8c3b
Царев, Роман Юрьевич. Программирование на языке СИ : учеб. пособие / Р. Ю. Царев, 2014. - 106 с. (Введено оглавление). - Текст : непосредственный. Кузнецов, Александр Сергеевич. Многоэтапный анализ архитектурной надежности и синтез отказоустойчивого программного обеспечения сложных систем / А. С. Кузнецов, С. В. Ченцов, Р. Ю. Царев, 2013. - 142 с. (Введено оглавление). - Текст : электронный. Прокопенко, Александр Владимирович. Синтез систем реального времени с гарантированной доступностью программно-информационных ресурсов / А. В. Прокопенко, М. А. Русаков, Р. Ю. Царев, 2013. - 91 с. (Введено оглавление). - Текст : непосредственный. Царев, Роман Юрьевич. Основы распределенной обработки информации : учеб. пособие / Р. Ю. Царев, А. В. Прокопенко, А. Ю. Никифоров, 2015. - 179 с. (Введено оглавление). - Текст : непосредственный. Царев, Роман Юрьевич. Оценка и повышение надежности программно-информационных технологий : учеб. пособие / Р. Ю. Царев, А. В. Прокопенко, А. Н. Князьков, 2015. - 172 с. (Введено оглавление). - Текст : непосредственный. Горенский, Борис Михайлович. Информационные технологии в цветной металлургии : учеб. пособие / Б. М. Горенский, О. В. Кирякова, С. В. Ченцов, 2012. - 186 с. - Текст : непосредственный. Пупков, Александр Николаевич. Управление хранением и обработкой информации в образовательных средах дистанционного обучения / А. Н. Пупков, Р. Ю. Царев, Д. В. Капулин, 2012. - 129 с. (Введено оглавление). - Текст : непосредственный. Кукарцев, Владислав Викторович. Теория баз данных : Учебник / В.В. Кукарцев, 2017. - 180 с. (Введено оглавление). - Текст : электронный. Кузнецов, Александр Сергеевич. Системное программирование : Учебное пособие / А.С. Кузнецов, 2018. - 170 с. (Введено оглавление). - Текст : электронный. Царев, Роман Юрьевич. Программные и аппаратные средства информатики : Учебник / Царев Р. Ю., 2015. - 160 с. - Текст : электронный. Царев, Роман Юрьевич. Теоретические основы информатики : Учебник / Царев Р. Ю., 2015. - 176 с. - Текст : электронный. Кузнецов, Александр Сергеевич. Теория вычислительных процессов : Учебник / Кузнецов А. С., 2015. - 184 с. - Текст : электронный. Капулин, Денис Владимирович. Информационная структура предприятия : Учебное пособие / Капулин Д. В., 2014. - 186 с. - Текст : электронный. Горенский, Борис Михайлович. Информационные технологии в управлении технологическими процессами цветной металлургии : Учебное пособие / Б. М. Горенский, О. В. Кирякова, Л. А. Лапина, С. В. Ченцов, 2012. - 148 с. - Текст : электронный. Царев, Роман Юрьевич. Мультиверсионное программное обеспечение. Алгоритмы голосования и оценка надёжности : Монография / Сибирский федеральный университет, 2013. - 120 с. - Текст : электронный. Царев, Роман Юрьевич. Алгоритмы и структуры данных (CDIO) : Учебник / Сибирский федеральный университет, 2016. - 204 с. - Текст : электронный. Кузнецов, Александр Сергеевич. Многоэтапный анализ архитектурной надежности и синтез отказоустойчивого программного обеспечения сложных систем : Монография / А. С. Кузнецов, С. В. Ченцов, Р. Ю. Царев, 2020. - 143 с. - Текст : электронный. Кузнецов, Александр Сергеевич. Магнитные фазовые переходы и магнитокалорический эффект в соединениях на основе Dy и Mn в сильных магнитных полях : специальность 1.3.12 - "Физика магнитных явлений": автореферат диссертации на соискание ученой степени кандидата физико-математических наук / Кузнецов Александр Сергеевич, 2025. - 24 с. - Текст : непосредственный. Баженова И.Ю. Visual FoxPro 6.0 / И. Ю. Баженова, 2000. - 416 с. - Текст : непосредственный. Вострикова З.П. Сервисная программа Norton Commander / З. П. Вострикова, О. Ю. Вострикова, А. П. Овчинникова, 1992. - 78 с. - Текст : непосредственный. Лима Т. Введение в dBase IV / Т. Лима, 1993. - 299 с. - Текст : непосредственный. Обслуживание и сопровождение NetWare / "Микроинформ", совместное предприятие (Москва), 1992. - 286 с. - Текст : непосредственный. Буянова Л.Н. Система управления базой данных Rebus / Л. Н. Буянова, 1996. - 50 с. - Текст : непосредственный. Штайнер Й. Windows 95 / Й. Штайнер, Р. Валентин, 1997. - 344 с. - Текст : непосредственный. Ахметов К.С. Windows 95 для всех / К. С. Ахметов, 1997. - 255 с. - Текст : непосредственный. Мэнсфилд Р. Windows 95 для занятых : монография / Р. Мэнсфилд, 1997. - 326 с. - Текст : непосредственный. Access 7,0 для Windows 95, 1997. - 479 с. - Текст : непосредственный. MS-DOS 6.22, 1997. - 443 с. - Текст : непосредственный. Турбо Гамес : методический материал. - 28 c. - Текст : непосредственный. Персональные программы : Ежемес. журн.: Журн. представляет программы для персональных компьютеров. - Журнал выходит с 1990г. - Текст : непосредственный. Дейнеко Е.А. Информационные технологии : выставочные материалы / Е. А. Дейнеко, И. А. Мельникова, 2015. - 127 с. - Текст : непосредственный. Айвенс К. Эксплуатация Windows NT. Проблемы и решения / К. Айвенс, 2000. - 586 с. - Текст : непосредственный. Цоллер С.А. Создание музыки на ПК : монография / С. А. Цоллер, 2003. - 320 с. ил. - Текст : непосредственный. Смирнов Н.Н. Программные средства персональных ЭВМ / Н. Н. Смирнов, 1990. - 272 с. - Текст : непосредственный. От Паскаля к Аде : монография / Т. Ю. Бардинова, В. Ю. Блажнов, А. А. Маслов, В. Н. Орлов, 1990. - 255 c. - Текст : непосредственный. Кучумов Ю.М. Программное обеспечение микроЭВМ "ИСКРА-226" для специалиста : Учеб.пособие:В 2-х ч. Ч. 1, 1989. - 59 c. - Текст : непосредственный. Диалоговый вычислительный комплекс. Программное обеспечение / Казанское науч.-произв. об-ние вычислительной техники и информатики, 1990. - 166 с. - Текст : непосредственный. Клещев А.С. Экспертная система, моделирующая процесс оптимизации программ. Обработка знаний : препринт / А. С. Клещев, М. А. Князева, 1990. - 44 с. - Текст : непосредственный. Показать все результаты Пальчун Б.П. Оценка надежности программного обеспечения / Б. П. Пальчун, Р. М. Юсупов, 1994. - 84 c. - Текст : непосредственный. Колесов К.В. Тензорный метод оценки надежности программного обеспечения / К. В. Колесов, 2009. - 23 с. - Текст : непосредственный. Handbook of software reliability engineering / Ed. M. R. Lyu, 1996. - XXV,850 p. p. - Текст : непосредственный. Гинкул Г.П. Проблема 2000 года. Технологические решения / Г. П. Гинкул, С. Ю. Соловьев, А. Н. Сотников, 1999. - 299 с. - Текст : непосредственный. Золотухин В.В. Тензорная методология исследования надежности алгоритмов программного обеспечения / В. В. Золотухин, К. В. Колесов, М. Н. Петров, 2007. - 206 с. - Текст : непосредственный. Reliable systems on unreliable networked platforms / SpringerLink (Online service), 2007 r=on-line. - Текст : электронный. Reliable software technology - Ada-Europe 2005 / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Заказать
Заказ фрагмента документа ₽
Просмотр издания ЭБС ZNANIUM