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

Graph Transformation First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings / edited by Andrea Corradini, Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg.

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...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Corradini, Andrea (Editor), Ehrig, Hartmut (Editor), Kreowski, Hans-Jörg (Editor), Rozenberg, Grzegorz (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.
Edition:1st ed. 2002.
Series:Lecture Notes in Computer Science, 2505
Springer eBook Collection.
Subjects:
Optical data processing.
Discrete mathematics.
Database management.
Computer science—Mathematics.
Data structures (Computer science).
Software engineering.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Table of Contents:
  • 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.

Similar Items