1376 search results - page 32 / 276 » Model-Driven Software Verification |
ICFEM
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. K
113
click to vote
GTTSE
2007
Springer
15 years 8 months ago
2007
Springer
Model transformations are a key element in the OMG’s Model Driven Development agenda. They did not begin here: the fundamental idea of transforming, automatically, one model into...
136
Voted
MODELS
2009
Springer
15 years 6 months ago
2009
Springer
This report summarizes the outcome of the 14th Workshop on Aspect-Oriented Modeling (AOM), as part of the 12th International Conference on Model Driven Engineering Languages and Sy...
122
Voted
IOT
2010
14 years 11 months ago
2010
Wireless Sensing and Radio Identification systems have undergone many innovations during the past years. This has led to short product lifetimes for both software and hardware comp...
129
click to vote
IASTEDSEA
2004
15 years 3 months ago
2004
Creating long-lived software systems requires a technology to build systems with good maintainability. One of the core ideas of the Model Driven Architecture (MDA) is to ease the ...