default search action
UNIGRA 2001: Genova, Italy
- Hartmut Ehrig, Claudia Ermel, Julia Padberg:
Uniform Approaches to Graphical Process Specification Techniques, UNIGRA 2001, a Satellite Event of ETAPS 2001, Genova, Italy, March 31 - April 1, 2001. Electronic Notes in Theoretical Computer Science 44(4), Elsevier 2001 - Hans-Jörg Kreowski, Giorgio Busatto, Sabine Kuske:
GRACE as a unifying approach to graph-transformation-based specification. 1-15 - Francesco Parisi-Presicce:
On Modifying High Level Replacement Systems. 16-27 - Gabriele Taentzer:
Towards Common Exchange Formats for Graphs and Graph Transformation Systems. 28-40 - Reiko Heckel, Albert Zündorf:
How to Specify a Graph Transformation Approach - A Meta Model for Fujaba. 41-51 - Claudia Ermel, Roswitha Bardohl, Julia Padberg:
Visual Design of Software Architecture and Evolution based on Graph Transformation. 52-66 - Mark Minas, Berthold Hoffmann:
Specifying and Implementing Visual Process Modeling Languages with DiaGen. 67-79 - Martin Große-Rhode:
Formal Concepts for an Integrated Internal Model of the UML. 80-92 - Andy Schürr:
Adding Graph Transformation Concepts to UML's Constraint Language OCL. 93-106 - Luciano Baresi, Mauro Pezzè:
Improving UML with Petri nets. 107-119 - Juliane Dehnert, Maike Gajewsky, Sabine Lembke, Herbert Weber:
The Petri Net Baukasten - Second Installment. 120-139 - Mark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky:
Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework. 140-162 - Jörg Desel, Gabriel Juhás, Robert Lorenz:
Unifying Petri Nets with Restricted Occurrence Rule Using Partial Algebra. 163-187 - Hartmut Ehrig, Claudia Ermel, Julia Padberg:
Preface. 188-189
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.