7393 search results - page 1 / 1479 » Synthesis-for-testability using transformations |
CAISE
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. We discuss how ontologies can be used to facilitate the construction of transformations between XML documents. We introduced a method to compose transformations for XML d...
ICIP
2002
IEEE
14 years 6 months ago
2002
IEEE
Overcomplete transforms, like the Dual-Tree Complex Wavelet Transform, offer more flexible signal representations than criticallysampled transforms. Large numbers of transform coe...
ENTCS
2006
13 years 4 months ago
2006
In this paper we present a model transformation from a visual representation (VisualOCL) of the Object Constraint Language (OCL) to the textual one using graph transformation. Sta...
GG
2008
Springer
2008
Springer
Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation
13 years 5 months ago
An important requirement of model transformations is the preservation of the behavior of the original model. A model transformation is semantically correct if for each simulation r...
INFSOF
2002
13 years 4 months ago
2002
Many tasks in software engineering can be characterized as source to source transformations. Design recovery, software restructuring, forward engineering, language translation, pl...