222 search results - page 4 / 45 » Development of Correct Graph Transformation Systems |
BIRTHDAY
2005
Springer
15 years 3 months ago
2005
Springer
The “classical” approach to represent Petri nets by graph transformation systems is to translate each transition of a specific Petri net to a graph rule (behavior rule). This ...
GG
2004
Springer
15 years 2 months ago
2004
Springer
We propose a faithful encoding of Java programs (written in a suitable fragment of the language) to Graph Transformation Systems. Every program is translated to a set of rules incl...
113
click to vote
AGP
2010
IEEE
15 years 1 months ago
2010
IEEE
We present an overview of the program transformation techniques which have been proposed over the past twenty-five years in the context of logic programming. We consider the appro...
124
click to vote
CORR
2010
Springer
14 years 8 months ago
2010
Springer
Graphs and graph transformation systems are a frequently used modelling technique for a wide range of different domains, covering areas as diverse as refactorings, network topolog...
107
click to vote
ADAEUROPE
2007
Springer
15 years 3 months ago
2007
Springer
Current trends in software engineering promote the contention that the use of model-driven approaches should prove as beneficial to high-integrity systems as they have to business ...