Вы здесь

Главная

диаграмма

Связанные издания:

Scene: Using Scenario Diagrams and Active Text for Illustrating Object-Oriented Programs
Spatial Cognition IX: Proc./International Conference, Spatial Cognition 2014, Bremen, Germany, September 2014
Specification of Coordinated Behavior by SOCCA
Strengthening UML Collaboration Diagrams by State Transformations
Symbolic Boolean Manipulation with Ordered Binary-Decision Diagrams
Temporal Verification Diagrams
Test Case Generation for UML Statecharts
Theory and Application of Diagrams: Proc./First Intern. Conf., Diagrams 2000, Edinburgh, Scotland, UK, September 2000
TLA in Pictures
Towards Automated Support for Deriving Test Data from UML Statecharts
Towards Three-Dimensional Representation and Animation of UML Diagrams
Towards Visual Development of Message-Passing Programs
Transactions on Computational Science XIV. Special Issue on Voronoi Diagrams and Delaunay Triangulation
UML Activity Diagrams as a Workflow Specification Language
UML Class Diagrams Revisited in the Context of Agent-Based Systems
Using State Diagrams to Desrcribe Concurrent Behaviour
Using UML and XML for Generating Adaptive Navigation Sequences in Web-Based Systems
XVIII. Symbolic Timing Diagrams
Автоматизация проектирования и анализа программного обеспечения с использованием языка UML и сетей Петри
Активные диаграммы - новые пользовательские возможности на основе недоопределенных вычислений
Анализ MSC-диаграмм распределенных систем с помо ью раскрашенных сетей Петри
Анализ и верификация MSC-диаграмм распределенных систем с помо ью раскрашенных сетей Петри
Использование диаграмм состояний и переходов для моделирования гипертекста
Математическое и программное обеспечение для обработки n-мерных диаграмм состояния
Методы и средства трансляции графических диаграмм
О реализации алгоритма перевода набора MSC-диаграмм в сеть петри
Построение диаграммы Бляшке для выпуклых многогранников в евклидовом пространстве R3
Проведение булевых преобразований с помо ью булевых разрешаю их диаграмм
Реализация стыка между MSC- и SDL-диаграммами в технологии REAL
Решение прямой задачи электрического каротажа
Топологическая структура для представления и решения задач вероятностного вывода в экспертных системах
Упорядоченные диаграммы бинарных решений
Упорядоченные диаграммы бинарных решений