close
1.

図書

図書
Hartmut Ehrig ... [et al.] (eds.)
出版情報: Berlin : Springer, c2004  xii, 450 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3256
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Improving Flow in Software Development Through Graphical Representations / Margaret-Anne D. Storey
A Perspective on Graphs and Access Control Models / Ravi Sandhu
Transformation Language Design: A Metamodelling Foundation / Tony Clark ; Andy Evans ; Paul Sammut ; James Willans
Integration Technology
Rule Execution in Graph-Based Incremental Interactive Integration Tools / Simon M. Becker ; Sebastian Lohmann ; Bernhard Westfechtel
Composition of Relations in Enterprise Architecture Models / René van Buuren ; Henk Jonkers ; Maria-Eugenia Jacob ; Patrick Strating
Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation / Esther Guerra ; Juan de Lara
Chemistry and Biology
Analysis of Metabolic Pathways by Graph Transformation / Francesc Rosselló ; Gabriel Valiente
The Potential of a Chemical Graph Transformation System / Maneesh K.Yadav ; Brian P. Kelley ; Steven M. Silverman
Graph Transformation Concepts
Concepts for Specifying Complex Graph Transformation Systems / Boris Böhlen ; Ulrike Ranger
Typing of Graph Transformation Units / Renate Klempien-Hinrichs ; Hans-Jörg Kreowski ; Sabine Kuske
Towards Graph Programs for Graph Algorithms / Detlef Plump ; Sandra Steinert
DPO Theory for High-Level Structures
Adhesive High-Level Replacement Categories and Systems / Hartmut Ehrig ; Annegret Habel ; Julia Padberg ; Ulrike Prange
Fundamental Theory for Typed Attributed Graph Transformation / Gabriele Taentzer
Parallel Independence in Hierarchical Graph Transformation / Berthold Hoffmann
Analysis and Testing
Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems / Paolo Baldan ; Barbara König ; Ingo Stürmer
Stochastic Graph Transformation Systems / Reiko Heckel ; Georgios Lajios ; Sebastian Menge
Model Checking Graph Transformations: A Comparison of Two Approaches / Arend Rensink ; Ákos Schmidt ; Dániel Varró
Graph Theory and Algorithms
Election, Naming and Cellular Edge Local Computations / Jérémie Chalopin ; Yves Métivier ; Wiesław Zielonka
Embedding in Switching Classes with Skew Gains / Andrzej Ehrenfeucht ; Jurriaan Hage ; Tero Harju ; Grzegorz Rozenberg
Synchronizers for Local Computations / Mohamed Mosbah ; Rodrigue Ossamy ; Afif Sellami
Application Conditions and Logic
Constraints and Application Conditions: From Graphs to High-Level Structures / Karsten Ehrig ; Karl-Heinz Pennemann
Specification Matching of Web Services Using Conditional Graph Transformation Rules / Alexey Cherchago
Representing First-Order Logic Using Graphs
Transformation of Special Structures
Coproduct Transformations on Lattices of Closed Partial Orders / Gemma Casas-Garriga ; José L. Balcázar
Parsing String Generating Hypergraph Grammars / Sebastian Seifert ; Ingrid Fischer
Composition of Path Transductions / Tanguy Urvoy
Object-Orientation
Translating Java Code to Graph Transformation Systems / Andrea Corradini ; Fernando Luís Dotti ; Luciana Foss ; Leila Ribeiro
Extending Graph Rewriting for Refactoring / Niels Van Eetvelde ; Dirk Janssens
Derivations in Object-Oriented Graph Grammars / Ana Paula Löudtke Ferreira
Tutorials and Workshops
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective / Luciano Baresi
Tutorial on DNA Computing and Graph Transformation / Ion Petre
Workshop TERMGRAPH 2004 / Maribel Fernández
Workshop on Graph-Based Tools / Tom Mens ; Andy Schöurr
Workshop on Petri Nets and Graph Transformations
Workshop on Software Evolution Through Transformations: Model-Based vs. Implementation-Level Solutions
Workshop on Logic, Graph Transformations, Finite and Infinite Structures / Bruno Courcelle ; David Janin
Author Index
Invited Papers
Improving Flow in Software Development Through Graphical Representations / Margaret-Anne D. Storey
A Perspective on Graphs and Access Control Models / Ravi Sandhu
2.

図書

図書
Grzegorz Rozenberg, Arto Salomaa
出版情報: New York : Academic Press, 1980  xvi, 352 p. ; 24 cm
シリーズ名: Pure and applied mathematics ; 90
所蔵情報: loading…
3.

図書

図書
edited by W. Brauer, W. Reisig, and G. Rozenberg
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  x, 480 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 254 . Advances in Petri Nets 1986 ; pt. 1
所蔵情報: loading…
4.

図書

図書
edited by W. Brauer, W. Reisig, and G. Rozenberg
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  x, 516 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 255 . Advances in Petri Nets 1986 ; pt. 2
所蔵情報: loading…
5.

図書

図書
Grzegorz Rozenberg (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  vi, 451 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 266
所蔵情報: loading…
6.

図書

図書
edited by Grzegorz Rozenberg and Arto Salomaa
出版情報: Berlin ; New York : Springer-Verlag, 1974  vi, 338 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 15
所蔵情報: loading…
7.

図書

図書
under the auspices of the European Association for Theoretical Computer Science ; edited by Hartmut Ehrig, Manfred Nagl and Grzegorz Rozenberg
出版情報: Berlin ; Tokyo : Springer-Verlag, 1983  vii, 452 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 153
所蔵情報: loading…
8.

図書

図書
Hartmut Ehrig ... [et al.] (eds.)
出版情報: Berlin : Springer, c2000  ix, 490 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1764
所蔵情報: loading…
目次情報: 続きを見る
Graph Languages
Some Remarks on the Generative Power of Collage Grammars and Chain-Code Grammars / Frank Drewes
Tree Languages Generated by Context-Free Graph Grammars / Joost Engelfriet ; Sebastian Maneth
Neighborhood Expansion Grammars / John L. Pfaltz
Neighborhood-Preserving Node Replacements / Konstantin Skodinis ; Egon Wanke
Graph Theory
Complexity Issues in Switching of Graphs / Andrzej Ehrenfeucht ; Jurriaan Hage ; Tero Harju ; Grzegorz Rozenberg
The Power of Local Computations in Graphs with Initial Knowledge / Emmanuel Godard ; Yves Métivier ; Anca Muscholl
Categorical Approaches
Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information / Hartmut Ehrig ; Reiko Heckel ; Mercé Llabrés ; Fernando Orejas ; Julia Padberg
Double-Pushout Approach with Injective Matching / Annegret Habel ; Jürgen Müller ; Detlef Plump
Node Replacement in Hypergraphs: Translating NCE Rewriting into the Pullback Approach / Héléne Jacquet ; Renate Klempien-Hinrichs
Pushout Complements for Arbitrary Partial Algebras / Francesc Rosselló
Concurrency and Distribution
Unfolding of Double-Pushout Graph Grammars is a Coreflection / Paolo Baldan ; Andrea Corradini ; Ugo Montanari
Local Views on Distributed Systems and Their Communication / Ingrid Fischer ; Manuel Koch ; Gabriele Taentzer
Dynamic Change Management by Distributed Graph Transformation:
Towards Configurable Distributed Systems / Michael Goedicke ; Torsten Meyer
A Framework for NLC and ESM: Local Action Systems / Nico Verlinden ; Dirk Janssens
Artificial Intelligence
Redundancy and Subsumption in High-Level Replacement Systems / Hans-Jörg Kreowski ; Gabriel Valiente
Knowledge Representation and Graph Transformation / Stefan Schuster
Utilizing Constraint Satisfaction Techniques for Efficient Graph Pattern Matching / Michael Rudolf
Visual Languages
Conceptual Model of the Graphical Editor GenGEd for the Visual Definition of Visual Languages / Roswitha Bardohl
From Formulae to Rewriting Systems / Paolo Bottoni ; Francesco Parisi-Presicce ; Marta Simeoni
Hypergraphs as a Uniform Diagram Representation Model / Mark Minas
Specification Concepts
Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java / Thorsten Fischer ; Jörg Niere ; Lars Torunski ; Albert Zündorf
A Fully Abstract Model for Graph-Interpreted Temporal Logic / Fabio Gadducci
More About Control Conditions for Transformation Units / Sabine Kuske
Integrity Constraints in the Multi-paradigm Language PROGRES / Manfred Münch ; Andy Schürr ; Andreas J. Winter
Modularity and Refinement
A Framework for Adding Packages to Graph Transformation Approaches / Giorgio Busatto ; Gregor Engels ; Katharina Mehner ; Annika Wagner
Refinements of Graph Transformation Systems via Rule Expressions / Martin Große-Rhode
Simple Modules for Grace / Berthold Hoffmann ; Peter Knirsch
UML Packages for PROgrammed Graph REwriting Systems
Incremental Development of Safety Properties in Petri Net Transformations / Maike Gajewsky ; Kathrin Hoffmann
Software Engineering
Using Graph Transformation Techniques for Integrating Information from the WWW / Lukas C. Faulstich
A Model Making Automation Process (MMAP) Using a Graph Grammar Formalism / Curtis E. Hrischuk
Graph-Based Models for Managing Development Processes, Resources, and Products / Carl-Arndt Krapp ; Sven Kruppel ; Ansgar Schleicher ; Bernhard Westfechtel
Deriving Software Performance Models from Architectural Patterns by Graph Transformations / Dorina C. Petriu ; Xin Wang
Author Index
Graph Languages
Some Remarks on the Generative Power of Collage Grammars and Chain-Code Grammars / Frank Drewes
Tree Languages Generated by Context-Free Graph Grammars / Joost Engelfriet ; Sebastian Maneth
9.

図書

図書
G. パウン, G. ローゼンバーグ, A. サローマ著 ; 横森貴, 榊原康文, 小林聡訳
出版情報: 東京 : シュプリンガー・フェアラーク東京, 1999.12  x, 444p ; 25cm
所蔵情報: loading…
10.

図書

図書
Jonathan Billington, Michel Diaz, Grzegorz Rozenberg (eds.)
出版情報: Berlin ; Tokyo : Springer, c1999  vii, 303 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1605
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼