Lecture Notes in Computer Science

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 5 to 7 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 $89.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.

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.

Lecture Notes in Computer Science

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 Software Engineering

ARM Assembly Language

Fundamentals and Techniques

Mobile and Ubiquitous Systems: Computing, Networking and Services

22nd EAI International Conference, MobiQuitous 2025, Shanghai, China, November 7-9, 2025, Proceedings, Part I

Design Patterns

Elements of Reusable Object-Oriented Software

The Essence of Software Engineering

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

The Manager`s Path

A Guide for Tech Leaders Navigating Growth and Change

Coding All-in-One For Dummies

2nd Edition

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Refactoring 2ed

Improving the Design of Existing Code

Architecture Patterns with Python

Enabling Test-Driven Development, Domain-Driven Design, and Event-Driven Microservices

Git : Pocket Guide

A Working Introduction

Arduino for Dummies

Blackwell Philosophy Anthologies

Swim Training Patterns

1st Edition - Plan your Training Sessions with the Power of Mathematics

Hacking For Dummies

For Dummies (Computer/Tech)

Typescript Cookbook

Real World Type-Level Programming

Web Application Security

2nd Eidtion - Exploitation and Countermeasures for Modern Web Applications

C# 12 in a Nutshell

The Definitive Reference

Go Cookbook

Expert Solutions for Commonly Needed Go Tasks

C# 12 Pocket Reference

Instant Help for C# 12 Programmers

The Engineering Leader

Strategies for Scaling Teams and Yourself

Learning Modern C++ for Finance

Foundations for Quantitative Programming

Architectural Approach to Level Design

Second edition

Site Reliability Engineering

How Google Runs Production Systems

This product is categorised by