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