2000 search results - page 92 / 400 » Program Transformation and Proof Transformation |
128
click to vote
SAC
2006
ACM
15 years 9 months ago
2006
ACM
This paper studies ways for modularizing transformation definitions in current rule-based model transformation languages. Two scenarios are shown in which the modular units are id...
162
click to vote
ICMT
2009
Springer
15 years 10 months ago
2009
Springer
Testing model transformations requires input models which are graphs of inter-connected objects that must conform to a meta-model and meta-constraints from heterogeneous sources su...
121
click to vote
ECMDAFA
2006
Springer
15 years 7 months ago
2006
Springer
In MDE, model transformations should be efficiently tested so that it may be used and reused safely. Mutation analysis is an efficient technique to evaluate the quality of test dat...
112
Voted
AMAST
2008
Springer
15 years 5 months ago
2008
Springer
We demonstrate Spiral, a domain-specific library generation system. Spiral generates high performance source code for linear transforms (such as the discrete Fourier transform and ...
116
click to vote
ICMT
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Model-driven software development often involves several related models. When models are updated, the updates need to be propagated across all models to make them consist...