7393 search results - page 183 / 1479 » Synthesis-for-testability using transformations |
117
Voted
ENTCS
2007
15 years 3 months ago
2007
Reasoning about graph and model transformation systems is an important means to underpin model-driven software engineering, such as Model-Driven Architecture (MDA) and Model Integ...
134
Voted
STTT
2010
15 years 1 months ago
2010
This article proposes a case study to evaluate the suitability of graph transformation tools for program refactoring. In order to qualify for this purpose, a graph transformation s...
130
Voted
ENTCS
2010
15 years 27 days ago
2010
We propose an algebra of languages and transformations as a means for extending s syntactically. The algebra provides a layer of high-level abstractions built on top of languages ...
135
Voted
COMPUTING
2008
15 years 3 months ago
2008
In this work, we use conformal mapping to transform harmonic Dirichlet problems that are defined in simply
79
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
This work relates to a novel piezoelectric transformer to be used in an autonomous sensor unit, possibly in conjunction with a RF-MEMS retro-modulator.