Справка
x
STUDENT'S CONSULTANT
Электронная библиотека технического вуза
Все издания
Login/Registration
Во весь экран / Свернуть
ru
Accessibility
General Catalogue
Все издания
Menu
Искать в книге
К результату поиска
Advanced search
Bookmarks
Homepage
Login/Registration
Во весь экран / Свернуть
ru
Управление
My reports
General Catalogue
Издательства
УГС
Мои списки
Download app
Оценка и повышение надежности программно-информационных технологий
Оборот титула
Table of contents
ВВЕДЕНИЕ
1. АНАЛИЗ МЕТОДОВ ОЦЕНКИ НАДЕЖНОСТИ ПРОГРАММНЫХ СРЕДСТВ НА ВСЕХ ЭТАПАХ ЖИЗНЕННОГО ЦИКЛА
+
2. МУЛЬТИВЕРСИОННОЕ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ
-
2.1. Базовые элементы мультиверсионного программного обеспечения
2.2. Жизненный цикл мультиверсионного программного обеспечения
2.3. Восстановление сбойных компонент при мультиверсионном объектно-ориентированном программировании
2.4. Формализация задачи мультиверсионного формирования программно-информационных технологий с гарантированной доступностью ресурсов
2.5. Модель использования ресурсов при формировании программно-информационных технологий
2.5.1. Формирование вектора временной развертки с учетом ресурсных и временных ограничений
2.5.2. Формирование оптимального вектора конфигурации при стоимостных ограничениях
2.6. Алгоритмические процедуры мультиверсионного формирования программно-информационных технологий
2.6.1. Общий алгоритм решения задачи
2.6.2. Алгоритм проверки вектора конфигурации на ресурсные и временные ограничения
2.7. Применение мультиверсий для обеспечения отказоустойчивости программно-информационных технологий
2.7.1. Блоки восстановления
2.7.2. Мультиверсионное программирование
2.7.3. Мультиверсионное программирование с самоконтролем
2.7.4. Блоки восстановления с согласованием
2.7.5. Проблемы мультиверсионного программного обеспечения
3. МОДЕЛИ И АЛГОРИТМЫ АНАЛИЗА НАДЕЖНОСТИ ПРОГРАММНО-ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ
+
4. СИСТЕМА МОДЕЛЬНО-АЛГОРИТМИЧЕСКОЙ ПОДДЕРЖКИ МНОГОЭТАПНОГО АНАЛИЗА НАДЕЖНОСТИ ПРОГРАММНЫХ СРЕДСТВ
+
5. ПРОБЛЕМА ПОВЫШЕНИЯ НАДЕЖНОСТИ ПРОГРАММНО-ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ ДЛЯ КОРПОРАТИВНЫХ СТРУКТУР
+
6. ФОРМИРОВАНИЕ ПРОГРАММНО-ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ ДЛЯ КОРПОРАТИВНЫХ СТРУКТУР
+
ЗАКЛЮЧЕНИЕ
БИБЛИОГРАФИЧЕСКИЙ СПИСОК
Close Menu
Раздел
3
/
9
Страница
24
/
44
2. МУЛЬТИВЕРСИОННОЕ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ
/
/
Внимание! Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Для продолжения работы требуется
Registration
General Catalogue
Издательства
УГС
Мои списки
Скачать приложение
Оценка и повышение надежности программно-информационных технологий
Table of contents
ВВЕДЕНИЕ
1. АНАЛИЗ МЕТОДОВ ОЦЕНКИ НАДЕЖНОСТИ ПРОГРАММНЫХ СРЕДСТВ НА ВСЕХ ЭТАПАХ ЖИЗНЕННОГО ЦИКЛА
+
2. МУЛЬТИВЕРСИОННОЕ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ
-
2.1. Базовые элементы мультиверсионного программного обеспечения
2.2. Жизненный цикл мультиверсионного программного обеспечения
2.3. Восстановление сбойных компонент при мультиверсионном объектно-ориентированном программировании
2.4. Формализация задачи мультиверсионного формирования программно-информационных технологий с гарантированной доступностью ресурсов
2.5. Модель использования ресурсов при формировании программно-информационных технологий
2.5.1. Формирование вектора временной развертки с учетом ресурсных и временных ограничений
2.5.2. Формирование оптимального вектора конфигурации при стоимостных ограничениях
2.6. Алгоритмические процедуры мультиверсионного формирования программно-информационных технологий
2.6.1. Общий алгоритм решения задачи
2.6.2. Алгоритм проверки вектора конфигурации на ресурсные и временные ограничения
2.7. Применение мультиверсий для обеспечения отказоустойчивости программно-информационных технологий
2.7.1. Блоки восстановления
2.7.2. Мультиверсионное программирование
2.7.3. Мультиверсионное программирование с самоконтролем
2.7.4. Блоки восстановления с согласованием
2.7.5. Проблемы мультиверсионного программного обеспечения
3. МОДЕЛИ И АЛГОРИТМЫ АНАЛИЗА НАДЕЖНОСТИ ПРОГРАММНО-ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ
+
4. СИСТЕМА МОДЕЛЬНО-АЛГОРИТМИЧЕСКОЙ ПОДДЕРЖКИ МНОГОЭТАПНОГО АНАЛИЗА НАДЕЖНОСТИ ПРОГРАММНЫХ СРЕДСТВ
+
5. ПРОБЛЕМА ПОВЫШЕНИЯ НАДЕЖНОСТИ ПРОГРАММНО-ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ ДЛЯ КОРПОРАТИВНЫХ СТРУКТУР
+
6. ФОРМИРОВАНИЕ ПРОГРАММНО-ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ ДЛЯ КОРПОРАТИВНЫХ СТРУКТУР
+
ЗАКЛЮЧЕНИЕ
БИБЛИОГРАФИЧЕСКИЙ СПИСОК