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

Validation Measures in CMMI

Value Withdrawal Explanation in CSP

Value withdrawal explanations: a theoretical tool for programming environments

Variable elimination for building interpreters

Verification and validation of IRAS on-board software

Verifying Eiffel Programs with Boogie

Verifying Real-time Commit Protocols Using Dense-time Model Checking Technology

vFlow: A GUI-Based Tool for Building Batch Applications for Cloud Computing

Views, Program Transformations, and the Evolutivity Problem in a Functional Language

Visual DCT - Visual EPICS Database Configuration Tool

VPOET: Using a Distributed Collaborative Platform for Semantic Web Applications

Weakest Preconditions and Cumulative Subgoal Fulfillment: A Comparison

Web Engineering