Proceedings of the First International Conference on Graph Transformations
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Andrea Corradini, Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg
Proceedings of the First International Conference on Graph Transformations
ICGT, 2002.

GRAPH
DBLP
Scholar
Full names Links ISxN
@proceedings{ICGT-2002,
	address       = "Barcelona, Spain",
	editor        = "Andrea Corradini and Hartmut Ehrig and Hans-Jörg Kreowski and Grzegorz Rozenberg",
	isbn          = "3-540-44310-X",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the First International Conference on Graph Transformations}",
	volume        = 2505,
	year          = 2002,
}

Contents (31 items)

ICGT-2002-Ghezzi #challenge #distributed #evolution #re-engineering #ubiquitous
Ubiquitous, Decentralized, and Evolving Software: Challenges for Software Engineering (CG), pp. 1–5.
ICGT-2002-Harel #behaviour #requirements #why
Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?) (DH), pp. 6–7.
ICGT-2002-Milner #graph #interactive #mobile
Bigraphs as a Model for Mobile Interaction (RM), pp. 8–13.
ICGT-2002-BaldanK #approximate #behaviour #graph transformation
Approximating the Behaviour of Graph Transformation Systems (PB, BK), pp. 14–29.
ICGT-2002-BardohlEP #architecture #specification
Transforming Specification Architectures by GenGED (RB, CE, JP), pp. 30–44.
ICGT-2002-BauderonC #graph #symmetry
Decomposing Graphs with Symmetries (MB, FC), pp. 45–59.
ICGT-2002-BeckPS #graph transformation #problem #scheduling
Graph Transformations for the Vehicle Routing and Job Shop Scheduling Problems (JCB, PP, ES), pp. 60–74.
ICGT-2002-FernandezM #call-by #graph grammar
Call-by-Value λ-Graph Rewriting Without Rewriting (MF, IM), pp. 75–89.
ICGT-2002-GerberLRSW #named
Transformation: The Missing Link of MDA (AG, ML, KR, JS, AW), pp. 90–105.
ICGT-2002-GodardMMS #algorithm #detection #distributed #graph #termination
Termination Detection of Distributed Algorithms by Graph Relabelling Systems (EG, YM, MM, AS), pp. 106–119.
ICGT-2002-GyapayHV #graph transformation #logic
Graph Transformation with Time: Causality and Logical Clocks (SG, RH, DV), pp. 120–134.
ICGT-2002-HabelP #graph transformation
Relabelling in Graph Transformation (AH, DP), pp. 135–147.
ICGT-2002-HageHW #graph
Euler Graphs, Triangle-Free Graphs and Bipartite Graphs in Switching Classes (JH, TH, EW), pp. 148–160.
ICGT-2002-HeckelKT #confluence #graph transformation
Confluence of Typed Attributed Graph Transformation Systems (RH, JMK, GT), pp. 161–176.
ICGT-2002-Hoffmann #abstraction #graph transformation
Abstraction and Control for Shapely Nested Graph Transformation (BH), pp. 177–191.
ICGT-2002-Klempien-Hinrichs
Hyperedge Substitution in Basic Atom-Replacement Languages (RKH), pp. 192–206.
ICGT-2002-KnirschK #distributed #graph transformation
Distributed Graph Transformation Units (PK, SK), pp. 207–222.
ICGT-2002-KochP #constraints #graph #policy
Describing Policies with Graph Constraints and Rules (MK, FPP), pp. 223–238.
ICGT-2002-LaraV #modelling #multi #petri net #process
Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts (JdL, HV), pp. 239–253.
ICGT-2002-ReisRASN #execution #graph transformation #process #semantics #using
Using Graph Transformation as the Semantical Model for Software Process Execution in the APSEE Environment (CALR, RQR, MMdA, HS, DJN), pp. 254–269.
ICGT-2002-MarburgerW #graph #re-engineering
Graph-Based Reengineering of Telecommunication Systems (AM, BW), pp. 270–285.
ICGT-2002-MensDJ #behaviour #formal method #program transformation
Formalising Behaviour Preserving Program Transformations (TM, SD, DJ), pp. 286–301.
ICGT-2002-MinasS #diagrams
Unparsing of Diagrams with DiaGen (MM, FS), pp. 302–316.
ICGT-2002-MontanariR #algebra #graph grammar #linear #order
Linear Ordered Graph Grammars and Their Algebraic Foundations (UM, LR), pp. 317–333.
ICGT-2002-PadbergE #graph transformation #invariant #safety
Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems (JP, BE), pp. 334–350.
ICGT-2002-Pfaltz #effectiveness #incremental #information management
Incremental Transformation of Lattices: A Key to Effective Knowledge Discovery (JLP), pp. 351–362.
ICGT-2002-SzubaSB #concept #design #graph #named
GraCAD — Graph-Based Tool for Conceptual Design (JS, AS, AB), pp. 363–377.
ICGT-2002-Varro #semantics #uml
A Formal Semantics of UML Statecharts by Model Transition Systems (DV), pp. 378–392.
ICGT-2002-WooY #order
Hierarchical Vertex Ordering (SHW, SBY), pp. 393–401.
ICGT-2002-BaresiH #graph transformation #perspective #re-engineering #tutorial
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective (LB, RH), pp. 402–429.
ICGT-2002-HarjuPR #assembly #graph transformation #tutorial
Tutorial on DNA Computing and Graph Transformation — Computational Nature of Gene Assembly in Ciliates (TH, IP, GR), pp. 430–434.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.