Graph transformation : first international conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002 : proceedings
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)....
Enregistré dans:
| Institution som forfatter: | |
|---|---|
| Andre forfattere: | , , |
| Format: | Livre numérique |
| Sprog: | Anglais |
| Udgivet: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serier: | Lecture notes in computer science
2505 |
| Fag: | |
| Online adgang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Kommentar: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Graph transformation, first international conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, proceedings, Andrea Corradini ... [et al.] (eds.), Berlin, Springer, 2002, 1 vol. (IX-457 p.), Lecture notes in computer science, 3-540-44310-X • Graph Transformation, Texte imprimé, 9783662197592 |
Indholdsfortegnelse:
- 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 ModelTransition 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.