Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Оценка и повышение надежности программно-информационных технологий
2. МУЛЬТИВЕРСИОННОЕ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ
Предыдущая страница
Следующая страница
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. ФОРМИРОВАНИЕ ПРОГРАММНО-ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ ДЛЯ КОРПОРАТИВНЫХ СТРУКТУР
+
ЗАКЛЮЧЕНИЕ
БИБЛИОГРАФИЧЕСКИЙ СПИСОК
Данный блок поддерживает скрол*