3888 search results - page 72 / 778 » Change-Driven Model Transformations |
127
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
We revisit the problem of model-based object recognition for intensity images and attempt to address some of the shortcomings of existing Bayesian methods, such as unsuitable prior...
154
click to vote
IFM
2010
Springer
15 years 2 months ago
2010
Springer
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
107
click to vote
FMOODS
2006
15 years 5 months ago
2006
Abstract. We consider in this paper that a DSL (Domain Specific Language) may be defined by a set of models. A typical DSL is the ATLAS Transformation Language (ATL). An ATL progra...
133
click to vote
UML
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents ATL (ATLAS Transformation Language): a hybrid model transformation language that allows both declarative and imperative constructs to be used in transformation ...
121
click to vote
FASE
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Model transformations are indispensable to model-based development (MBD) where they act as translators between domain-specific languages (DSLs). As a result, transformat...