5525 search results - page 57 / 1105 » Verification of Model Transformations |
131
click to vote
CCECE
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper proposes a reference frame transformation method which applies appropriate rotational operators to the block diagram representation of a converter space vector model to...
126
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
The goal of this lecture is to show how modern theorem provers--in this case, the Coq proof assistant--can be used to mechanize the specification of programming languages and their...
149
click to vote
MVA
2007
15 years 4 months ago
2007
Shape matching plays an important role in many application fields. In this paper, we propose a novel rotation invariant 3D shape descriptor based on Hadamard transform and spheric...
130
click to vote
FASE
2008
Springer
15 years 5 months ago
2008
Springer
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language by means of graph...
154
Voted
MODELS
2009
Springer
15 years 7 months ago
2009
Springer
Triple graph grammars (TGGs) are a formal and intuitive concept for the specification of model transformations. Their main advantage is an automatic derivation of operational rule...