Sciweavers

Share
7601 search results - page 1 / 1521
» Synthesis-for-testability using transformations
Sort
View
ENTCS
2006
192views more  ENTCS 2006»
9 years 11 months ago
Model Transformation From VisualOCL to OCL Using Graph Transformation
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...
Karsten Ehrig, Jessica Winkelmann
GG
2008
Springer
10 years 16 days ago
Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation
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...
Hartmut Ehrig, Claudia Ermel
INFSOF
2002
89views more  INFSOF 2002»
9 years 11 months ago
Source transformation in software engineering using the TXL transformation system
Many tasks in software engineering can be characterized as source to source transformations. Design recovery, software restructuring, forward engineering, language translation, pl...
James R. Cordy, Thomas R. Dean, Andrew J. Malton, ...
MODELS
2009
Springer
10 years 6 months ago
Towards Composite Model Transformations Using Distributed Graph Transformation Concepts
Model-based development of highly complex software systems leads to large models. Storing them in repositories offers the possibility to work with these models in a distributed env...
Stefan Jurack, Gabriele Taentzer
CAISE
2004
Springer
10 years 4 months ago
Using Ontologies to Compose Transformations of XML Schema Based Documents
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...
Johann Eder, Christian Koncilia, Marek Lehmann, Ho...
books