Sciweavers

1153 search results - page 62 / 231

» Reversing graph transformations

25

ENTCS
2006

119views more ENTCS 2006»

Cloning and Expanding Graph Transformation Rules for Refactoring

13 years 10 months ago

Cloning and Expanding Graph Transformation Rules for Refactoring

Download tfs.cs.tu-berlin.de

Berthold Hoffmann, Dirk Janssens, Niels Van Eetvel...

claim paper

Read More »

16

ENTCS
2006

104views more ENTCS 2006»

Abstract Graph Transformation

13 years 10 months ago

Abstract Graph Transformation

Download wwwhome.cs.utwente.nl

Arend Rensink, Dino Distefano

claim paper

Read More »

14

ECEASST
2007

47views more ECEASST 2007»

Simulating Multigraph Transformations Using Simple Graphs

13 years 10 months ago

Simulating Multigraph Transformations Using Simple Graphs

Download eprints.eemcs.utwente.nl

Iovka Boneva, Frank Hermann, Harmen Kastenberg, Ar...

claim paper

Read More »

16

IANDC
2007

62views more IANDC 2007»

Unfolding semantics of graph transformation

13 years 10 months ago

Unfolding semantics of graph transformation

Download www.math.unipd.it

Paolo Baldan, Andrea Corradini, Ugo Montanari, Lei...

claim paper

Read More »

32

ENTCS
2002

92views more ENTCS 2002»

PLCTools: Graph Transformation Meets PLC Design

13 years 9 months ago

PLCTools: Graph Transformation Meets PLC Design

Download home.dei.polimi.it

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è

claim paper

Read More »

« Prev « First page 62 / 231 Last » Next »