Sciweavers

182 search results - page 9 / 37
» Ludo: A Case Study for Graph Transformation Tools
Sort
View
GG
2004
Springer
14 years 1 months ago
Tutorial on DNA Computing and Graph Transformation
that graph transformations provide the right level of abstraction, and useful technical tools for studying gene assembly. On the other hand, the gene assembly process inspires a ne...
Tero Harju, Ion Petre, Grzegorz Rozenberg
ECOOP
2007
Springer
13 years 11 months ago
Model-driven Software Refactoring
In this chapter, we explore the emerging research domain of modeldriven software refactoring. Program refactoring is a proven technique that aims at improving the quality of sourc...
Tom Mens, Gabriele Taentzer
ENTCS
2007
108views more  ENTCS 2007»
13 years 7 months ago
Termination Criteria for DPO Transformations with Injective Matches
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...
Tihamer Levendovszky, Ulrike Prange, Hartmut Ehrig
BMCBI
2004
120views more  BMCBI 2004»
13 years 7 months ago
Clustering under the line graph transformation: application to reaction network
Background: Many real networks can be understood as two complementary networks with two kind of nodes. This is the case of metabolic networks where the first network has chemical ...
Jose C. Nacher, Nobuhisa Ueda, Takuji Yamada, Mino...
UML
2005
Springer
14 years 1 months ago
Transforming Models with ATL
This paper presents ATL (ATLAS Transformation Language): a hybrid model transformation language that allows both declarative and imperative constructs to be used in transformation ...
Frédéric Jouault, Ivan Kurtev