381 search results - page 22 / 77 » Metamodel based Model Transformation Framework |
CVPR
2007
IEEE
14 years 10 months ago
2007
IEEE
This paper proposes a new registration algorithm, Covariance Driven Correspondences (CDC), that depends fundamentally on the estimation of uncertainty in point correspondences. Th...
EDOC
2004
IEEE
14 years 16 days ago
2004
IEEE
In this paper, we present the development of an illustrative example of e-business based on two different applications of a Model-Driven Architecture (MDA) approach. In the first ...
IJISMD
2010
13 years 6 months ago
2010
UML is now widely accepted as the standard modeling language for software construction. The Class Diagram is its core view, having well formed semantics and providing the backbone...
SCAM
2002
IEEE
14 years 1 months ago
2002
IEEE
This paper concerns the use of static analysis for debugging purposes of declarative object-oriented equation-based modeling languages. We propose a framework where over- and unde...
UML
2005
Springer
14 years 2 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...