Sciweavers

229 search results - page 10 / 46
» Model Transformation: A declarative, reusable patterns appro...
Sort
View
CIBSE
2009
ACM
15 years 4 months ago
A two-level formal semantics for the QVT language
Model Driven Engineering (MDE) proposes a software development process in which software is built by constructing one or more models, and transforming these into other models. In t...
Roxana S. Giandini, Claudia Pons, Gabriela P&eacut...
TFM
2009
Springer
252views Formal Methods» more  TFM 2009»
15 years 4 months ago
Abstraction and Modelling: A Complementary Partnership
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...
Jeffrey Kramer
OOPSLA
2009
Springer
15 years 4 months ago
Model transformation by demonstration
Model transformations provide a powerful capability to automate model refinements. However, the use of model transformation languages may present challenges to those who are unfami...
Yu Sun
SAC
2010
ACM
15 years 3 months ago
Software adaptation patterns for service-oriented architectures
This paper describes the concept of software adaptation patterns and how they can be used in software adaptation of serviceoriented architectures. The patterns are described in te...
Hassan Gomaa, Koji Hashimoto, Minseong Kim, Sam Ma...
HASE
2007
IEEE
15 years 1 months ago
Goal-Oriented Patterns for UML-Based Modeling of Embedded Systems Requirements
Embedded systems are used for critical applications that must adhere to safety constraints. Developers of these systems face three key challenges when attempting to apply existing...
Heather Goldsby, Sascha Konrad, Betty H. C. Cheng