Вы здесь

Главная

uml

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

Using Description Logic to Maintain Consistency between UML Models
Using Metrics to Predict OO Information Systems Maintainability
Using OCL and UML to Specify System Behavior
Using State Diagrams to Desrcribe Concurrent Behaviour
Using Transition Systems to Unify UML Models
Using UML Action Semantics for Executable Modeling and Beyond
Using UML Action Semantics for Model Execution and Transformation
Using UML and XML for Generating Adaptive Navigation Sequences in Web-Based Systems
Using UML for Implementation Design of SDL Systems
Using UML for Information Modeling in Industrial Systems with Multiple Hierarchies
Using UML in the Context of Agent-Oriented Software Engineering: State of the Art
Using UML Sequence Diagrams as the Basis for a Formal Test Description Language
Using UML State Machine Models for More Precise and Flexible JADE Agent Behaviors
Validating UML Models and OCL Constraints
Validation of UML and OCL Models by Automatic Snapshot Generation
Validation of UML Classes through Animation
Validation of UML Models Thanks to Z and Lustre
Validation of UML Models via a Mapping to Communicating Extended Timed Automata
VISWAS and on Diagnosability with IEEE Std P1522 and UML 2.0 Testing Profile
Vooduu: Verification of Object-Oriented Designs Using UPPAAL
WARE: A Tool for the Reverse Engineering of Web Applications
Web Extensions to UML: Using the MVC Triad
Wisdom - A UML Based Architecture for Interactive Systems
Автоматизация проектирования и анализа программного обеспечения с использованием языка UML и сетей Петри
Автоматическая генерация тестов для графического пользовательского интерфейса по UML-диаграммам действий
Графический язык описания ограничений на диаграммы классов UML
Комбинированное средство верификации распределенных вычислительных систем реального времени
Методологии разработки программного обеспечения. Часть 4. Unified Modeling Language
Моделирование контроллера Web-приложений с использованием UML
Обзор формальных подходов к спецификации языков UML и OCL
Трансформация UML-моделей и ее использование в технологии MDA
Формальная модель диаграммы классов языка UML
Формальная модель диаграммы классов языка UML