Sciweavers

900 search results - page 24 / 180
» A Tool-Supported Approach to Testing UML Design Models
Sort
View
ER
2003
Springer
550views Database» more  ER 2003»
14 years 27 days ago
A UML Based Approach for Modeling ETL Processes in Data Warehouses
Data warehouses (DWs) are complex computer systems whose main goal is to facilitate the decision making process of knowledge workers. ETL (Extraction-Transformation-Loading) proces...
Juan Trujillo, Sergio Luján-Mora
UML
2005
Springer
14 years 1 months ago
UML Model Mappings for Platform Independent User Interface Design
While model based design of platform independent application logic has already shown significant success, the design of platform independent user interfaces still needs further in...
Tim Schattkowsky, Marc Lohmann
CAISE
2005
Springer
14 years 1 months ago
A Semiotic Approach to UML models
In this paper we are trying to clarify, with the aid of some semiotic notions, the confusions that lie around the widely used terms “analysis model” and “design model” in s...
Gonzalo Génova, María Cruz Valiente,...
FASE
2001
Springer
14 years 5 days ago
A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models
Abstract. The Object Constraint Language OCL offers a formal notation for constraining the modelling elements occurring in UML diagrams. In this paper we apply OCL for developing ...
Bernhard Reus, Martin Wirsing, Rolf Hennicker
UML
2005
Springer
14 years 1 months ago
Extending Profiles with Stereotypes for Composite Concepts
Abstract. This paper proposes an extension of the UML 2.0 profiling mechanism. This extension facilitates a language designer to introduce composite concepts as separate conceptual...
Dick A. C. Quartel, Remco M. Dijkman, Marten van S...