Полное описание
> Царев, Роман Юрьевич. Оценка и повышение надежности программно-информационных технологий : учеб. пособие / Р. Ю. Царев, А. В. Прокопенко, А. Н. Князьков ; Сиб. федер. ун-т, Ин-т косм. и информ. технологий. - Красноярск : СФУ, 2015. - 172 с. : ил. - (Информатика). - Библиогр.: с. 172 (14 назв.). - 100 экз. - ISBN 978-5-7638-3387-4. - Текст : непосредственный.
Загл. взято из текста
Содержание: >
| ГРНТИ | УДК | |
| 50.01 | 004.052 | |
| ББК | ||
| 32.971-021я73 | ||
| РУБ | ||
| 09.03.03 | ||
| 09.00.00 | ||
| 09.03.01 | ||
| 09.03.02 |
Рубрики:
Информационные технологии -- Надежность
Аннотация: Рассмотрены актуальные вопросы оценки и повышения надежности программно-информационных технологий. Приведены различные подходы к анализу программных средств как традиционной, так и распределенной архитектуры, а также мультиверсионного программного обеспечения. Рассмотрены основы мультиверсионного проектирования, показан объектно-ориентированный подход к повышению надежности программного обеспечения с введением программной избыточности. Особое внимание уделено проблеме надежности программно- информационных технологий корпоративных структур. Предназначено для студентов, обучающихся по направлениям 09.03.03 «Прикладная информатика», 09.03.04 «Программная инженерия», 38.03.02 «Менеджмент», 38.03.05 «Бизнес-информатика», всех форм обучения.
а также мультиверсионного программного обеспечения. Рассмотрены основы мультиверсионного проектирования показан объектно-ориентированный подход к повышению надежности программного обеспечения с введением программной
избыточности. Особое внимание уделено проблеме надежности программно-
информационных технологий корпоративных структур.
Предназначено для студентов обучающихся по направлениям 09.03.03
«Прикладная информатика» 09.03.04 «Программная инженерия» 38.03.02 «Менеджмент» 38.03.05 «Бизнес-информатика» всех форм обучения.
Доп. точки доступа:
Прокопенко, Александр Владимирович
Князьков, Алексей Николаевич
Сибирский федеральный ун-т (Красноярск). Ин-т космических и информ. технологий
Электронная библиотечная система ZNANIUM
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д10-15/33640)
ЭБС Znanium : 127282, г. Москва, ул. Полярная, д.31В, стр.1 (Шифр в БД-источнике (ZNANIUM): RU\infra-m\znanium\bibl\967667)
ЛитРес : 123112, г. Москва, 1-й Красногвардейский пр., 15 (Шифр в БД-источнике (LITRES): 741a8e05-1420-11e9-ae4a-0cc47a5f3f85)>
Шифр в сводном ЭК: 0e9eee79af9c91fe0151ad475826f23c
Царев, Роман Юрьевич. Программирование на языке СИ : учеб. пособие / Р. Ю. Царев, 2014. - 106 с. (Введено оглавление). - Текст : непосредственный.Кузнецов, Александр Сергеевич. Многоэтапный анализ архитектурной надежности и синтез отказоустойчивого программного обеспечения сложных систем / А. С. Кузнецов, С. В. Ченцов, Р. Ю. Царев, 2013. - 142 с. (Введено оглавление). - Текст : электронный.Прокопенко, Александр Владимирович. Синтез систем реального времени с гарантированной доступностью программно-информационных ресурсов / А. В. Прокопенко, М. А. Русаков, Р. Ю. Царев, 2013. - 91 с. (Введено оглавление). - Текст : непосредственный.Царев, Роман Юрьевич. Основы распределенной обработки информации : учеб. пособие / Р. Ю. Царев, А. В. Прокопенко, А. Ю. Никифоров, 2015. - 179 с. (Введено оглавление). - Текст : непосредственный.Царев, Роман Юрьевич. Оценка и повышение надежности программно-информационных технологий : учеб. пособие / Р. Ю. Царев, А. В. Прокопенко, А. Н. Князьков, 2015. - 172 с. (Введено оглавление). - Текст : непосредственный.Пупков, Александр Николаевич. Управление хранением и обработкой информации в образовательных средах дистанционного обучения / А. Н. Пупков, Р. Ю. Царев, Д. В. Капулин, 2012. - 129 с. (Введено оглавление). - Текст : непосредственный.Кукарцев, Владислав Викторович. Теория баз данных : Учебник / В.В. Кукарцев, 2017. - 180 с. (Введено оглавление). - Текст : электронный.Царев, Роман Юрьевич. Программные и аппаратные средства информатики : Учебник / Царев Р. Ю., 2015. - 160 с. - Текст : электронный.Царев, Роман Юрьевич. Теоретические основы информатики : Учебник / Царев Р. Ю., 2015. - 176 с. - Текст : электронный.Кузнецов, Александр Сергеевич. Теория вычислительных процессов : Учебник / Кузнецов А. С., 2015. - 184 с. - Текст : электронный.Царев, Роман Юрьевич. Мультиверсионное программное обеспечение. Алгоритмы голосования и оценка надёжности : Монография / Сибирский федеральный университет, 2013. - 120 с. - Текст : электронный.Царев, Роман Юрьевич. Алгоритмы и структуры данных (CDIO) : Учебник / Сибирский федеральный университет, 2016. - 204 с. - Текст : электронный.Кузнецов, Александр Сергеевич. Многоэтапный анализ архитектурной надежности и синтез отказоустойчивого программного обеспечения сложных систем : Монография / А. С. Кузнецов, С. В. Ченцов, Р. Ю. Царев, 2020. - 143 с. - Текст : электронный.
Гниденко И.Г. Информатика / И. Г. Гниденко, С. А. Соколовская, 2006. - 256 с. - Текст : непосредственный.Винокуров Н. А. Практика и теория программирования : учеб. пособие: в 2 кн. Кн. 1 Ч. 1 и 2, 2008. - 189 с. - Текст : непосредственный.Винокуров Н. А. Практика и теория программирования : учеб. пособие: в 2 кн. Кн. 2Ч. 3 и 4, 2008. - 284 с. - Текст : непосредственный.Шарапова О.М. Информатика : выставочные материалы / О. М. Шарапова, Н. В. Барклаевская, И. Е. Лахманова, 2015. - 141 с. - Текст : непосредственный.Информатика : выставочные материалы / А. Б. Золотов, П. А. Акимов, В. Н. Сидоров, М. Л. Мозгалева, 2013. - 400 с. - Текст : непосредственный.Информатика : учебное пособие / Н. В. Макарова, Т. Н. Гурьева, Н. Е. Соколов, Ю. Ф. Титова, 2007. - 232 с. - Текст : непосредственный.Реферативный журнал : Отд.вып. 59, Информатика / Всероссийский ин-т науч. и технической информации (Москва). - Журнал выходит с 1963г. - Текст : непосредственный.Хлебников А.А. Информатика : выставочные материалы / А. А. Хлебников, 2012. - 508 с. - Текст : непосредственный.Каян Э. Информационные технологии : словарь / Э. Каян, 2003. - 646 с. - Текст : непосредственный.Зверев В.С. Информатика / В. С. Зверев, 2001. - 283 с. - Текст : непосредственный.Воройский Ф.С. Информатика : словарь / Ф. С. Воройский, 2001. - 535 с. - Текст : непосредственный.Куоносов А.П. Информатика / А. П. Куоносов, А. П. Куоносов, С. А. Кулев, А. В. Улезько, 1997. - 238 с. - Текст : непосредственный.Математика, механика, информатика : итоговые аннотир. отчеты 2006 г. по проектам РФФИ : сборник / Рос. фонд. фундам. исслед. Ч. 2 : Информатика, 2009. - 285 с. - Текст : непосредственный.Цветкова М.С. Информатика : выставочные материалы / М. С. Цветкова, И. Ю. Хлобыстова, 2017. - 350 с. - Текст : непосредственный.Хлебников А.А. Информатика : учебное пособие / А. А. Хлебников, 2010. - 508 с. - Текст : непосредственный.Скурыдина Е.М. Информатика / Е. М. Скурыдина, 2009. - 325 с. - Текст : непосредственный.Степанов А.Н. Информатика / А. Н. Степанов, 2007. - 764 с. - Текст : непосредственный.Ващенко Г.В. Информатика : выставочные материалы / Г. В. Ващенко, 2013. - 202 с. - Текст : непосредственный.Царев Р.Ю. Информатика : выставочные материалы / Р. Ю. Царев, 2013. - 128 с. - Текст : непосредственный.Новожилов О.П. Информатика : учебное пособие / О. П. Новожилов, 2011. - 564 с. - Текст : непосредственный.
Показать все результатыРазвитие образовательной среды средствами информационных технологий / Ю. И. Петров, К. Т. Алдияров, И. М. Жаворонкова [и др.], 2014. - 242 с. - Текст : непосредственный.
Вайнштейн И.И. Процессы и стратегии восстановления с изменяющимися функциями распределения в теории надежности : монография / И. И. Вайнштейн, 2016. - 180 с. - Текст : непосредственный.Царев Р.Ю. Алгоритмы и структуры данных (CDIO) : учебник / Р. Ю. Царев, А. В. Прокопенко, 2016. - 203 с. - Текст : непосредственный.Пушкарева Т.П. Математические основы живописи и архитектуры : учеб.-метод. пособие / Т. П. Пушкарева, 2014. - 90 с. (Введено оглавление). - Текст : электронный.Бабина, Ольга Ивановна. Имитационное моделирование процессов планирования на промышленном предприятии / О. И. Бабина, Л. И. Мошкович, 2014. - 150 с. (Введено оглавление). - Текст : электронный.Аникина, Валентина Ильинична. Фрактография в материаловедении : учеб. пособие / В. И. Аникина, А. А. Ковалева, 2014. - 141 с. (Введено оглавление). - Текст : электронный.Головнев Н.Н. 2-тиобарбитуровая кислота и ее комплексы с металлами: синтез, структура и свойства / Н. Н. Головнев, М. С. Молокеев, 2014. - 251 с. (Введено оглавление). - Текст : непосредственный.Нескоромных, Вячеслав Васильевич. Разрушение горных пород при бурении скважин : учеб. пособие / В. В. Нескоромных, 2014. - 335 с. (Введено оглавление). - Текст : непосредственный.Дубровская О.Г. Ресурсосберегающие технологии обезвреживания и утилизации отходов предприятий теплоэнергетического комплекса Красноярского края / О. Г. Дубровская, Л. В. Приймак, И. В. Андруняк, 2014. - 163 с. (Введено оглавление). - Текст : непосредственный.Зыкова, Татьяна Викторовна. Проектирование, разработка и методика использования электронных обучающих курсов по математике : учеб. пособие / Т. В. Зыкова, Т. В. Сидорова, В. А. Шершнева, 2014. - 114 с. (Введено оглавление). - Текст : непосредственный.Царев, Роман Юрьевич. Основы распределенной обработки информации : учеб. пособие / Р. Ю. Царев, А. В. Прокопенко, А. Ю. Никифоров, 2015. - 179 с. (Введено оглавление). - Текст : непосредственный.Царев, Роман Юрьевич. Оценка и повышение надежности программно-информационных технологий : учеб. пособие / Р. Ю. Царев, А. В. Прокопенко, А. Н. Князьков, 2015. - 172 с. (Введено оглавление). - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
Семененко В.А. Справочник по электронной вычислительной технике / В. А. Семененко, Ю. В. Ступин, 1993. - 222 с. - Текст : непосредственный.КомпьютерПресс. - Журнал выходит с 1989г. - Текст : непосредственный.Головина М.С. Экономические аспекты региональной энергетической безопасности и экспортная стратегия России на рынке газа стран Европейского Союза / М. С. Головина, 2015. - 27 с. - Текст : непосредственный.Инновационные технологии : сборник научных трудов / Ред. В. П. Корячко, 2015. - 139 с. - Текст : непосредственный.Михеева Е.В. практикум по информационным технологиям в профессиональной деятельности : выставочные материалы / Е. В. Михеева, 2015. - 255 с. - Текст : непосредственный.Информационные технологии и телекоммуникации в образовании, экономике и управлении регионом : материалы временных коллективов / Ассоциация "Тюменский региональный научно-образовательный комплекс", 2007. - 139 с. - Текст : непосредственный.Борисов Н.А. Художественное конструирование ЭВА и РЭА / Н. А. Борисов, 1990. - 39 c. - Текст : непосредственный.Шрайберг, Яков Леонидович. Справочное руководство по основам информатики и вычислительной техники / Я. Л. Шрайберг, М. В. Гончаров, 1990. - 33 c. (Введено оглавление). - Текст : непосредственный.Жешке Р. Толковый словарь стандарта языка Си : монография / Р. Жешке, 1994. - 221 c. - Текст : непосредственный.Supercomputing'91 : материалы временных коллективов, 1991. - XXIII,917 p. p. - Текст : непосредственный.Artificial neural networks : сборник научных трудов / Ed. J. Diederich, 1990. - VII,141 p. p. - Текст : непосредственный.Matley B.G. National computer policies / B. G. Matley, T. A. McDannold, 1987. - XVII,172 p. p. - Текст : непосредственный.Innovative applications of artificial intelligence 3 : материалы временных коллективов / Ed.: R. G. Smith, A. C. Scott, 1991. - 362 p. - Текст : непосредственный.Logic programming : материалы временных коллективов / Ed.: V. Saraswat, K. Ueda, 1991. - 736 p. - Текст : непосредственный.Security and privacy : Proc.of the 1980-84 symp.on security and privacy and the 1985-87 IEEE symp.on security and privacy / Ed.:C.E.Garvey. Vol. 1 : Proceedings of the first 5 symposia 1980-84, 1990. - VIII,227 p. p. - Текст : непосредственный.Петров В.П. Выполнение монтажа и сборки средней сложности и сложных узлов, блоков, приборов радиоэлектронной аппаратуры, аппаратуры проводной связи, элементов узлов импульсной и вычислительной техники. Практикум : выставочные материалы / В. П. Петров, 2014. - 173 с. - Текст : непосредственный.Настольный англо-русский словарь компьютерных терминов / Ред. Н. В. Поволоцкая, 2008. - 367 с. - Текст : непосредственный.Буханцева Н.В. Электронные ресурсы: технологии разработки и взаимодействия : учебное пособие / Н. В. Буханцева, 2008. - 402 с. - Текст : непосредственный.Алыкова О.М. Формирование у будущих учителей системы знаний о физических основах работы компьютера : специальность 13.00.02 "Теория и методика обучения и воспитания (по областям и уровням образования)" : диссертация на соискание ученой степени канд. пед. наук / О. М. Алыкова, 2007. - 18 с. - Текст : непосредственный.Информатика и вычислительная техника : материалы временных коллективов / Чувашский гос. ун-т им. И. Н. Ульянова (Чебоксары), 2007. - 75 с. - Текст : непосредственный.
Показать все результатыФролов А.Б. Модели и методы технической диагностики / А. Б. Фролов, 1990. - 47 с. - Текст : непосредственный.Шмидт О.О. Обобщенная модель процесса восстановления в теории надежности использования информационных технологий : специальность 05.13.17 "Теоретические основы информатики" : диссертация на соискание ученой степени канд. физ.-мат. наук / О. О. Шмидт, 2008. - 19 с. - Текст : непосредственный.
Викторова В.С. Исследование надежности отказоустойчивых вычислительных систем с учетом специальных процедур обработки сбоев : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / В. С. Викторова, 1994. - 28 с. - Текст : непосредственный.Фишбейн А.И. Модели и методики обеспечения достоверности данных информационных систем на основе наборов правил : автореф. дис. .. канд. техн. наук: 05.13.17 / А. И. Фишбейн, 2015. - 17 с. - Текст : непосредственный.Применение технологии UniTesK для функционального тестирования моделей аппаратного обеспечения / В. П. Иванников [и др.], 2005. - 26 с. - Текст : непосредственный.Веригин В.В. Физика надежности вычислительных систем / В. В. Веригин, 2008. - 95 с. - Текст : непосредственный.Белозеров В.В. Модели диагностики надежности и безопасности СВТ и АСУ объектов техносферы : монография / В. В. Белозеров, А. Ю. Любавский, С. Н. Олейников, 2015. - 129 с. - Текст : непосредственный.Уваров М.В. Разработка системы автоматического контроля мобильных устройств : автореф. дис. .. канд. техн. наук: 05.11.13 / М. В. Уваров, 2006. - 20 с. - Текст : непосредственный.Афонин В.А. Основы теории надежности : учеб. пособие по курсу "Основы теории надежности" для студентов, обучающихся по направлению "Информатика и вычислит. техника" / В. А. Афонин; под ред. И.И. Ладыгина, 2010. - 206 с. - Текст : непосредственный.Царев, Роман Юрьевич. Оценка и повышение надежности программно-информационных технологий : учеб. пособие / Р. Ю. Царев, А. В. Прокопенко, А. Н. Князьков, 2015. - 172 с. (Введено оглавление). - Текст : непосредственный.Wolter K. Stochastic models for fault tolerance : restart, rejuvenation and checkpointing / K. Wolter, 2010 r=on-line. - Текст : электронный.Бычков И.Н. Разработка методов и средств диагностики, повышающих эффективность верификации модулей вычислительной техники : автореф. дис. .. канд. техн. наук: 05.13.05 / И. Н. Бычков, 2007. - 23 с. - Текст : непосредственный.Верещагина Е.А. Исследование и разработка методов синтеза тестов для коммуникационного оборудования микропроцессорных систем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / Е. А. Верещагина, 1996. - 16 с. - Текст : непосредственный.Олецкий А.В. Параметризация непрерывных диагностических сигналов на основе интегрального преобразования Карунена-Лоэва : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.16 / А. В. Олецкий, 1991. - 17 с. - Текст : непосредственный.Якимов Я.Д. Разработка архитектуры системы мониторинга беспилотного маневрового локомотива / Я. Д. Якимов. - Текст : непосредственный // XII Конгресс молодых ученых : сборник научных трудов / Министерство науки и высшего образования Российской Федерации, Национальный исследовательский университет ИТМО. - Санкт-Петербург : Ун-т ИТМО, 2023. - Т. 2. - с. 174-179Казарин, Олег Викторович. Основы информационной безопасности: надежность и безопасность программного обеспечения : учебник для спо / О. В. Казарин, И. Б. Шубинский., 2026. - 352 с. - Текст : электронный.Казарин, Олег Викторович. Надежность и безопасность программного обеспечения : учебник для вузов / О. В. Казарин, И. Б. Шубинский., 2026. - 352 с. - Текст : электронный.
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
Заказ фрагмента документа ₽
Просмотр издания
или
Просмотр издания