Содержание
1. Анализ процессов автоматизации проектирования средств
межинтерфейспого взаимодействия в распределенных
информационных системах
1.1. Анализ подходов к автоматизации проектирования информационных систем с помощью операторного моделирования
1.2. Технология проектирования с явным выделением состояний
1.3. Анализ состояния и перспектив применения нормированных операторных отображений для решения задач верификации при анализе и синтезе проектных процедур.
1.4. Постановка задач исследования.
2. Теоретические основы построения процедур анализа проектируемых
межмодульных интерфейсов па основе нормированных операторных
отображений
2.1. Пошаговая детализация операторных отображений низкоуровневых спецификаций
2.2. Свойства нормированного прямого отображения, использующего пошаговую легализацию
2.3. Обратные операторные модели.
2.4. Выводы
3. Элементы математического и лингвистического обеспечения
корректирующих проектных решений.
3.1. Проектный этап реализации процедур анализа и синтеза средств верификации
3.2. Методология и алгоритмизация описания и построения корректирующих проектных решений.
3.3. Лингвистическое обеспечение процессов анализа и синтеза проектных процедур.
3.4. Лингвистическое обеспечение межинтсрфейсного взаимодействия.
3.5. Выводы.
4. Реализация средств анализа и синтеза проектных решений по
верификации межмодульного взаимодействия при
автоматизированном проектировании распределенных
информационных систем
4.1. Особенности реализации алгоритмов анализа и синтеза
4.2. Результаты верификации программной реализации комплекса для проведения вычислительного эксперимента по анализу плана ремонтных работ.
4.3. Особенности разработки и верификации информационной системы управления научным журналом.
4.4. Проектирование программной системы идентификации характеристик неоднородных систем с интеграцией служб
4.5. Выводы
Заключение.
Список использованных источников
- Київ+380960830922