UCMExporter: Supporting Scenario Transformations from Use Case Maps

UML 2.0 - Overview and Perspectives in SoC Design

Uncovering the epistemological and ontological assumptions of software designers

Under-approximation of the Greatest Fixpoint in Real-Time System Verification

Under-approximation of the Greatest Fixpoints in Real-Time System Verification

Understanding Code Patterns - Analysis, Interpretation & Measurement

Understanding need of "Uncertainty Analysis" in the system Design process

Unified Modeling of Complex Real-Time Control Systems

Urgency/Emergency Health Processes' Modelling: A Case Study

Usages et conception des TIC : Proposition d'un modèle d'aide à la représentation de problème de conception

Use of UML and Model Transformations for Workflow Process Definitions

Using Alloy to model-check visual design notations

Using Built-In Domain-Specific Modeling Support to Guide Model-Based Test Generation

Using Dependence Analysis to Support Software Architecture Understanding

Using entropy measures for comparison of software traces