Sciweavers

205 search results - page 11 / 41
» uml 2005
Sort
View
ASWEC
2005
IEEE
15 years 3 months ago
A UML Approach to the Generation of Test Sequences for Java-Based Concurrent Systems
Starting with a UML specification that captures the underlying functionality of some given Java-based concurrent system, we describe a systematic way to construct, from this speci...
Soon-Kyeong Kim, Luke Wildman, Roger Duke
ICECCS
2005
IEEE
89views Hardware» more  ICECCS 2005»
15 years 3 months ago
A Tool-Supported Approach to Testing UML Design Models
For Model Driven Development approaches to succeed, there is a need for model validation techniques. This paper presents an approach to testing designs described by UML class diag...
Trung T. Dinh-Trong, Nilesh Kawane, Sudipto Ghosh,...
DEXA
2005
Springer
138views Database» more  DEXA 2005»
15 years 3 months ago
Evolving XML Schemas and Documents Using UML Class Diagrams
The widespread use of XML brings new challenges for its integration into general software development processes. In particular, it is necessary to keep the consistency between diļ¬...
Eladio Domínguez, Jorge Lloret, Angel Luis ...
CAISE
2005
Springer
15 years 3 months ago
Developing Multi-Agent Systems Based on MDA
: In this paper, we propose an MDA based approach for developing multi-agent systems. MDA specifies a structured software development process divided in modeling stages. In the PIM...
Beatriz Alves De Maria, Viviane Torres da Silva, C...
APSEC
2005
IEEE
15 years 3 months ago
A Formal Semantics of Timed Activity Diagrams and its PROMELA Translation
The lack of a precise semantics for UML activity diagrams makes the reasoning on models constructed using such diagrams infeasible. However, such diagrams are widely used in domai...
Nicolas Guelfi, Amel Mammar