Sciweavers

1153 search results - page 62 / 231
» Reversing graph transformations
Sort
View
ENTCS
2006
119views more  ENTCS 2006»
15 years 2 months ago
Cloning and Expanding Graph Transformation Rules for Refactoring
Berthold Hoffmann, Dirk Janssens, Niels Van Eetvel...
ENTCS
2006
104views more  ENTCS 2006»
15 years 2 months ago
Abstract Graph Transformation
Arend Rensink, Dino Distefano
ECEASST
2007
47views more  ECEASST 2007»
15 years 2 months ago
Simulating Multigraph Transformations Using Simple Graphs
Iovka Boneva, Frank Hermann, Harmen Kastenberg, Ar...
IANDC
2007
62views more  IANDC 2007»
15 years 2 months ago
Unfolding semantics of graph transformation
Paolo Baldan, Andrea Corradini, Ugo Montanari, Lei...
101
Voted
ENTCS
2002
92views more  ENTCS 2002»
15 years 2 months ago
PLCTools: Graph Transformation Meets PLC Design
This paper presents PLCTools, a formal environment for designing and simulating programmable controllers. Control models are specified with IEC FBD (Function Block Diagram), and t...
Luciano Baresi, Marco Mauri, Mauro Pezzè