5525 search results - page 57 / 1105 » Verification of Model Transformations |
CCECE
2006
IEEE
15 years 3 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...
CORR
2010
Springer
14 years 9 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...
106
click to vote
MVA
2007
14 years 11 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...
FASE
2008
Springer
14 years 11 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...
103
click to vote
MODELS
2009
Springer
15 years 2 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...