Ви є тут

Автоматизация анализа структур сложных систем в целях повышения надежности (на примере программного обеспечения)

Автор: 
Будовская Лилия Михайловна
Тип роботи: 
ил РГБ ОД 61
Рік: 
3314
Артикул:
568055
179 грн
Додати в кошик

Вміст

СОДЕРЖАНИЕ
ВВЕДЕНИЕ
ГЛАВА I. АВТОМАТИЗАЦИЯ АНАЛИЗА СТРУКТУР СЛОЖНЫХ СИСТЕМ КАК СРЕДСТВО ПОВЫШЕНИЯ НАДЕЖНОСТИ ИХ ФУНКЦИОНИРОВАНИЯ
1.1. Постановка задачи автоматизации структурного анализа сложных систем .
1.1.1.,Основные положения, связанные с про

ектированием сложных систем.
1.1.2. Постановка общей задачи надежностного проектирования систем.
1.1.3. Обзор существующих систем автоматизации проектирования.
1.1.4. Постановка задачи автоматизации декомпозиции сложных систем
1.2. Обзор и анализ методов оценки надежности
сложных систем АСУ и ПО
1.3. Надежность программного обеспечения
1.4. Связь надежности и анализа сложных систем
1.5. Постановка задачи структурной декомпозиции сложных систем на примере ПО.
1.5.1. Обзор методов анализа сложных систем .
1.5.2. Постановка задачи .
Выводы по первой главе
ГЛАВА П. МАТЕМАТИЧЕСКАЯ МОДЕЛЬ ЗАДАЧИ СТРУКТУИЮЙ
ДЕКОМПОЗИЦИИ СЛОЖНЫХ СИСТЕМ ПО
2.1. Анализ методов описания программ.
2.2. Агрегативный подход к описанию сложных систем
2.3. Алгебра операции декомпозиции БЕС.
2.4. Алгоритмы декомпозиции .
Выводы по второй главе
ГЛАВА Ш. ПРОГРАММНАЯ РЕАЛИЗАЦИЯ МЕТОДА ДЕКОМПОЗИЦИИ
СЛОЖНЫХ СИСТЕМ
3.1. Общее описание системы автоматизации проектирования СДКМС .
3.2. Елок Декомпозитор БЕС
3.2.1. Структура блока БЕС .
3.2.2. Информационное обеспечение блока БЕС
3.3. Программное обеспечение блока Декомпозитор
3.4. Язык декомпозиции как подмножество языка схем систем .
3.5. Экспериментальная проверка алгоритмов декомпозиции на примере ПО .
Выводы по третьей главе .
ЗАКЛЮЧЕНИЕ
ЛИТЕРАТУРА