Graph Transformation

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

By: Andrea Corradini (Editor), Hartmut Ehrig (Editor), Hans-JÃ¶rg Kreowski (Editor)

Write A Review

Paperback | 27 September 2002

At a Glance

Paperback
476 Pages

Dimensions(cm)
23.5 x 15.24 x 2.54

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 7 to 10 business days

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). ICGT 2002 was held in Barcelona (Spain), October 7-12, 2002 under the a- pices of the European Association of Theoretical Computer Science (EATCS), the European Association of Software Science and Technology (EASST), and the IFIP Working Group 1.3, Foundations of Systems Speci?cation. The scope of the conference concerned graphical structures of various kinds (like graphs, diagrams, visual sentences and others) that are useful to describe complex structures and systems in a direct and intuitive way. These structures are often augmented by formalisms which add to the static description a further dimension, allowing for the modeling of the evolution of systems via all kinds of transformations of such graphical structures. The ?eld of Graph Transformation is concerned with the theory, applications, and implementation issues of such formalisms. The theory is strongly related to areas such as graph theory and graph - gorithms, formal language and parsing theory, the theory of concurrent and distributed systems, formal speci?cation and veri?cation, logic, and semantics.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Medicine Medicine in General Computing & I.T.Computer Science Image Processing Computer Programming & Software Development Algorithms & Data Structures Mathematics Combinatorics & Graph Theory Databases Data Capture & Analysis

Graphical & Digital Media Applications 3D Graphics & Modelling Computer Architecture & Logic Design Mathematical Foundation Mathematical Logic Software Engineering

Invited Papers
Ubiquitous, Decentralized, and Evolving Software: Challenges for Software Engineering	p. 1
Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?)	p. 6
Bigraphs as a Model for Mobile Interaction	p. 8
Contributed Papers
Approximating the Behaviour of Graph Transformation Systems	p. 14
Transforming Specification Architectures by GenGED	p. 30
Decomposing Graphs with Symmetries	p. 45
Graph Transformations for the Vehicle Routing and Job Shop Scheduling Problems	p. 60
Call-by-Value ?-Graph Rewriting Without Rewriting	p. 75
Transformation: The Missing Link of MDA	p. 90
Termination Detection of Distributed Algorithms by Graph Relabelling Systems	p. 106
Graph Transformation with Time: Causality and Logical Clocks	p. 120
Relabelling in Graph Transformation	p. 135
Euler Graphs, Triangle-Free Graphs and Bipartite Graphs in Switching Classes	p. 148
Confluence of Typed Attributed Graph Transformation Systems	p. 161
Abstraction and Control for Shapely Nested Graph Transformation	p. 177
Hyperedge Substitution in Basic Atom-Replacement Languages	p. 192
Distributed Graph Transformation Units	p. 207
Describing Policies with Graph Constraints and Rules	p. 223
Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts	p. 239
Using Graph Transformation as the Semantical Model for Software Process Execution in the APSEE Environment	p. 254
Graph-Based Reengineering of Telecommunication Systems	p. 270
Formalising Behaviour Preserving Program Transformations	p. 286
Unparsing of Diagrams with DiaGen	p. 302
Linear Ordered Graph Grammars and Their Algebraic Foundations	p. 317
Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems	p. 334
Incremental Transformation of Lattices: A Key to Effective Knowledge Discovery	p. 351
GraCAD - Graph-Based Tool for Conceptual Design	p. 363
A Formal Semantics of UML Statecharts by Model Transition Systems	p. 378
Hierarchical Vertex Ordering	p. 393
Tutorials and Workshops
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective	p. 402
Tutorial on DNA Computing and Graph Transformation - Computational Nature of Gene Assembly in Ciliates	p. 430
TERMGRAPH 2002 - Workshop Survey	p. 435
Workshop on Graph-Based Tools	p. 440
Workshop on Graph Transformation and Visual Modeling Techniques	p. 445
Workshop on Software Evolution through Transformations: Towards Uniform Support throughout the Software Life-Cycle	p. 450
Workshop on Logic, Graph Transformations and Discrete Structures	p. 455
Author Index	p. 459
Table of Contents provided by Publisher. All Rights Reserved.

Graph Transformation

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

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Science

Don't Burn Anyone at the Stake Today

(and other lessons from history about living through an information crisis)

Microsoft Power BI For Dummies

For Dummies (Computer/Tech)

The Laws of Thought

The Quest for a Mathematical Theory of the Mind

If Anyone Builds It, Everyone Dies

The Case Against Superintelligent AI

Nexus

A Brief History of Information Networks from the Stone Age to AI

Atlas of the Invisible

Maps & Graphics That Will Change How You See the World

Teaching Critical Thinking to Teenagers

1st Edition - How Kids Can Be Street Smart about AI, Algorithms, Fake News and Social Media

The AI Con

How To Fight Big Tech's Hype and Create the Future We Want

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

The AI-Driven Leader

Harnessing AI to Make Faster, Smarter Decisions

Hope in the Library

How Libraries Can Help Shape Our Future with Artificial Intelligence

Agentic AI For Dummies

For Dummies (Computer/Tech)

AI in Business For Dummies

For Dummies (Business & Personal Finance)

What Art Is Now

Creativity in the Age of AI

AI Powered B2B Marketing

Develop AI Enabled Strategies and Practices for Maximum Impact

MRI in Practice

5th Edition

Computability and Computational Explanation

Elements in the Philosophy of Mathematics

Computability and Computational Explanation

Elements in the Philosophy of Mathematics

Determining Provenance from Compositional Data

Elements in Current Archaeological Tools and Techniques

The Ultimate ChatGPT Prompt Book

750+ Expert Prompts to Boost Productivity, Unlock Creative Potential, and Simplify Tasks

Risk-First Software Development, Second Edition

Deliver Better Systems in a Post-Agile, AI World

AI and Data Science in Healthcare 5.0

Medical Robots and Devices: New Developments and Advances

Python Workout, Second Edition

200 ten-minute exercises

Bandit Convex Optimisation

This product is categorised by