Graph Transformation First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Corradini, Andrea (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Ehrig, Hartmut (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Kreowski, Hans-Jörg (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Rozenberg, Grzegorz (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.
• Έκδοση: 1st ed. 2002.
• Σειρά: Lecture Notes in Computer Science, 2505
• Θέματα: Optical data processing.; Discrete mathematics.; Database management.; Computer science-Mathematics.; Data structures (Computer science).; Software engineering.; Image Processing and Computer Vision.; Discrete Mathematics.; Database Management.; Discrete Mathematics in Computer Science.; Data Structures.; Software Engineering.

ICGT 2002 was the ?rst International Conference on Graph Transformation following a series of six international workshops on graph grammars with - plications in computer science, held in Bad Honnef (1978), Osnabruc ¨ k (1982), Warrenton (1986), Bremen (1990), Williamsburg (1994), and Paderborn (1998...

Πίνακας περιεχομένων:

• Invited Papers
• Ubiquitous, Decentralized, and Evolving Software: Challenges for Software Engineering
• Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?)
• Bigraphs as a Model for Mobile Interaction
• Contributed Papers
• Approximating the Behaviour of Graph Transformation Systems
• Transforming Specification Architectures by GenGED
• Decomposing Graphs with Symmetries
• Graph Transformations for the Vehicle Routing and Job Shop Scheduling Problems
• Call-by-Value ?-Graph Rewriting Without Rewriting
• Transformation: The Missing Link of MDA
• Termination Detection of Distributed Algorithms by Graph Relabelling Systems
• Graph Transformation with Time: Causality and Logical Clocks
• Relabelling in Graph Transformation
• Euler Graphs, Triangle-Free Graphs and Bipartite Graphs in Switching Classes
• Confluence of Typed Attributed Graph Transformation Systems
• Abstraction and Control for Shapely Nested Graph Transformation
• Hyperedge Substitution in Basic Atom-Replacement Languages
• Distributed Graph Transformation Units
• Describing Policies with Graph Constraints and Rules
• Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts
• Using Graph Transformation as the Semantical Model for Software Process Execution in the APSEE Environment
• Graph-Based Reengineering of Telecommunication Systems
• Formalising Behaviour Preserving Program Transformations
• Unparsing of Diagrams with DiaGen
• Linear Ordered Graph Grammars and Their Algebraic Foundations
• Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems
• Incremental Transformation of Lattices: A Key to Effective Knowledge Discovery
• GraCAD - Graph-Based Tool for Conceptual Design
• A Formal Semantics of UML Statecharts by Model Transition Systems
• Hierarchical Vertex Ordering
• Tutorials and Workshops
• Tutorial Introduction to Graph Transformation: A Software Engineering Perspective
• Tutorial on DNA Computing and Graph Transformation - Computational Nature of Gene Assembly in Ciliates
• TERMGRAPH 2002 Workshop Survey
• Workshop on Graph-Based Tools
• Workshop on Graph Transformation and Visual Modeling Techniques
• Workshop on Software Evolution through Transformations: Towards Uniform Support throughout the Software Life-Cycle
• Workshop on Logic, Graph Transformations and Discrete Structures.