Sciweavers

1148 search results - page 118 / 230
» WebML modelling in UML
Sort
View
UML
2004
Springer
15 years 6 months ago
The AGEDIS Tools for Model Based Testing
We describe the tools and interfaces created by the AGEDIS project, a European Commission sponsored project for the creation of a methodology and tools for automated model driven ...
Alan Hartman, Kenneth Nagin
87
Voted
MODELS
2007
Springer
15 years 6 months ago
Deriving Operation Contracts from UML Class Diagrams
Class diagrams must be complemented with a set of system operations that describes how users can modify and evolve the system state. To be useful, such a set must be complete (i.e....
Jordi Cabot, Cristina Gómez
LOBJET
2000
140views more  LOBJET 2000»
15 years 15 days ago
Early Measures for UML Class Diagrams
:Building software models before implementing them has become widely accepted in the software industry. Object models, graphically represented by class diagrams, lay the foundation...
Marcela Genero, Mario Piattini, Coral Calero
ICALT
2006
IEEE
15 years 6 months ago
CPM: A UML Profile to Design Cooperative PBL Situations at Didactical Level
In this paper, we present our research results about a UML-based modeling language dedicated to Problem-Based Learning design. The CPM (Cooperative Problem-Based learning Metamode...
Thierry Nodenot, Pierre Laforcade
96
Voted
DLOG
2010
14 years 10 months ago
Checking Full Satisfiability of Conceptual Models
Abstract. UML class diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting formal language techniques to capture constr...
Alessandro Artale, Diego Calvanese, Yazmin Ang&eac...