Sciweavers

6434 search results - page 94 / 1287
» Model Transformations with Reference Models
Sort
View
GG
2008
Springer
13 years 11 months ago
Pattern-Based Model-to-Model Transformation
We present a new, high-level approach for the specification of model-to-model transformations based on declarative patterns. These are (atomic or composite) constraints on triple ...
Juan de Lara, Esther Guerra
EMSOFT
2008
Springer
13 years 11 months ago
Automatically transforming and relating Uppaal models of embedded systems
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
Timothy Bourke, Arcot Sowmya
IMCSIT
2010
13 years 4 months ago
Integration of Scheduling Analysis into UML Based Development Processes Through Model Transformation
The complexity of embedded systems and their safety requirements have risen significantly in recent years. Models and the model based development approach help to keep overview and...
Matthias Hagner, Ursula Goltz
JUCS
2008
115views more  JUCS 2008»
13 years 10 months ago
Capturing Interaction Requirements in a Model Transformation Technology Based on MDA
: Currently, many models are used to capture functional software requirements. However, the Software Engineering community has faded interaction requirements into the background, d...
José Ignacio Panach, Sergio España, ...
PRIMA
2009
Springer
14 years 4 months ago
Gaia Agents Implementation through Models Transformation
Gaia is a well-known Agent Oriented Software Engineering (AOSE) methodology. The emerging Model-Driven Engineering (MDE) paradigm encourages software modelers to automate the trans...
Nikolaos I. Spanoudakis, Pavlos Moraitis