Методы композиции и декомпозиции исполняемых UML моделей


Содержание


Методы композиции и декомпозиции исполняемых UML моделей
Аннотация.
Введение
Конечные автоматы UML
Конечные автоматы UML - часть 2
Методы композиции и декомпозиции для конечных автоматов UML
Трансформация «Выделение метода» для конечных автоматов UML
Выделение в метод возвратной части конечного автомата
Выделение в метод возвратной части конечного автомата - часть 2
Выделение в метод последовательной части конечного автомата
Необходимые условия для выделения части конечного автомата в метод
Необходимые условия для выделения части конечного автомата в метод - часть 2
Трансформация «выделение составного состояния» для конечных автоматов UML
Выделение составного состояния для скрытия деталей реализации
Метод текстового сравнения переходов
Метод текстового сравнения переходов - часть 2
Выделение составного состояния по общему переходу
Выделение составного состояния по общему переходу - часть 2
Выделение составного состояния по общему возвратному переходу
Выделение составного состояния по общему возвратному переходу - часть 2
Выделение составного состояния для моделей, импортированных из SDL
Выделение составного состояния для моделей, импортированных из SDL - часть 2
Пример «Мобильный телефон»
Заключение
Литература

Краткий обзор Microsoft Office 2003 далее
Omert - Руководство по компьютерной безопасности далее



Начало    



Книжный магазин