Coverart for item
The Resource Graph transformation : first international conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002 : proceedings, Andrea Corradini [and others], (eds.)

Graph transformation : first international conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002 : proceedings, Andrea Corradini [and others], (eds.)

Label
Graph transformation : first international conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002 : proceedings
Title
Graph transformation
Title remainder
first international conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002 : proceedings
Statement of responsibility
Andrea Corradini [and others], (eds.)
Title variation
ICGT 2002
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
DLC
Dewey number
511/.5
Illustrations
illustrations
Index
index present
LC call number
QA267.3
LC item number
.I34 2002
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2002
http://bibfra.me/vocab/lite/meetingName
ICGT 2002
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1960-
http://library.link/vocab/relatedWorkOrContributorName
Corradini, Andrea
Series statement
  • Lecture notes in computer science,
  • Lecture notes in artificial intelligence
Series volume
2505.
http://library.link/vocab/subjectName
  • Graph grammars
  • Computer science
Label
Graph transformation : first international conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002 : proceedings, Andrea Corradini [and others], (eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Ubiquitous, Decentralized, and Evolving Software: Challenges for Software Engineering / Carlo Ghezzi -- Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?) / David Harel -- Bigraphs as a Model for Mobile Interaction / Robin Milner -- Approximating the Behaviour of Graph Transformation Systems / Paolo Baldan and Barbara Konig -- Transforming Specification Architectures by GenGED / Roswitha Bardohl, Claudia Ermel and Julia Padberg -- Decomposing Graphs with Symmetries / Michel Bauderon and Frederique Carrere -- Graph Transformations for the Vehicle Routing and Job Shop Scheduling Problems / J. Christopher Beck, Patrick Prosser and Evgeny Selensky -- Call-by-Value [lambda]-Graph Rewriting Without Rewriting / Maribel Fernandez and Ian Mackie -- Transformation: The Missing Link of MDA / Anna Gerber, Michael Lawley, Kerry Raymond, Jim Steel and Andrew Wood -- Termination Detection of Distributed Algorithms by Graph Relabelling Systems / Emmanuel Godard, Yves Metivier, Mohamed Mosbah and Afif Sellami -- Graph Transformation with Time: Causality and Logical Clocks / Szilvia Gyapay, Reiko Heckel and Daniel Varro -- Relabelling in Graph Transformation / Annegret Habel and Detlef Plump -- Euler Graphs, Triangle-Free Graphs and Bipartite Graphs in Switching Classes / Jurriaan Hage, Tero Harju and Emo Welzl -- Confluence of Typed Attributed Graph Transformation Systems / Reiko Heckel, Jochen Malte Kuster and Gabriele Taentzer -- Abstraction and Control for Shapely Nested Graph Transformation / Berthold Hoffmann -- Hyperedge Substitution in Basic Atom-Replacement Languages / Renate Klempien-Hinrichs -- Distributed Graph Transformation Units / Peter Knirsch and Sabine Kuske -- Describing Policies with Graph Constraints and Rules / Manuel Koch and Francesco Parisi-Presicce -- Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts / Juan de Lara and Hans Vangheluwe -- Using Graph Transformation as the Semantical Model for Software Process Execution in the APSEE Environment / Carla A. Lima Reis, Rodrigo Quites Reis, Marcelo M. de Abreu, Heribert Schlebbe and Daltro J. Nunes -- Graph-Based Reengineering of Telecommunication Systems / Andre Marburger and Bernhard Westfechtel -- Formalising Behaviour Preserving Program Transformations / Tom Mens, Serge Demeyer and Dirk Janssens -- Unparsing of Diagrams with DiaGen / Mark Minas and Frank Struber -- Linear Ordered Graph Grammars and Their Algebraic Foundations / Ugo Montanari and Leila Ribeiro -- Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems / Julia Padberg and Bettina E. Enders -- Incremental Transformation of Lattices: A Key to Effective Knowledge Discovery / John L. Pfaltz -- GraCAD -- Graph-Based Tool for Conceptual Design / Janusz Szuba, Andy Schurr and Adam Borkowski -- A Formal Semantics of UML Statecharts by Model Transition Systems / Daniel Varro -- Hierarchical Vertex Ordering / Sung-Ho Woo and Sung-Bong Yang -- Tutorial Introduction to Graph Transformation: A Software Engineering Perspective / Luciano Baresi and Reiko Heckel -- Tutorial on DNA Computing and Graph Transformation -- Computational Nature of Gene Assembly in Ciliates / Tero Harju, Ion Petre and Grzegorz Rozenberg -- TERMGRAPH 2002 -- Workshop Survey / Detlef Plump -- Workshop on Graph-Based Tools / Tom Mens, Andy Schurr and Gabriele Taentzer -- Workshop on Graph Transformation and Visual Modeling Techniques / Paolo Bottoni and Mark Minas -- Workshop on Software Evolution through Transformations: Towards Uniform Support throughout the Software Life-Cycle / Reiko Heckel, Tom Mens and Michel Wermelinger -- Workshop on Logic, Graph Transformations and Discrete Structures / Bruno Courcelle and Pascal Weil
Control code
50643641
Dimensions
24 cm
Extent
ix, 457 pages
Isbn
9783540443100
Isbn Type
(softcover : alk. paper)
Lccn
2002030882
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
Label
Graph transformation : first international conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002 : proceedings, Andrea Corradini [and others], (eds.)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Ubiquitous, Decentralized, and Evolving Software: Challenges for Software Engineering / Carlo Ghezzi -- Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?) / David Harel -- Bigraphs as a Model for Mobile Interaction / Robin Milner -- Approximating the Behaviour of Graph Transformation Systems / Paolo Baldan and Barbara Konig -- Transforming Specification Architectures by GenGED / Roswitha Bardohl, Claudia Ermel and Julia Padberg -- Decomposing Graphs with Symmetries / Michel Bauderon and Frederique Carrere -- Graph Transformations for the Vehicle Routing and Job Shop Scheduling Problems / J. Christopher Beck, Patrick Prosser and Evgeny Selensky -- Call-by-Value [lambda]-Graph Rewriting Without Rewriting / Maribel Fernandez and Ian Mackie -- Transformation: The Missing Link of MDA / Anna Gerber, Michael Lawley, Kerry Raymond, Jim Steel and Andrew Wood -- Termination Detection of Distributed Algorithms by Graph Relabelling Systems / Emmanuel Godard, Yves Metivier, Mohamed Mosbah and Afif Sellami -- Graph Transformation with Time: Causality and Logical Clocks / Szilvia Gyapay, Reiko Heckel and Daniel Varro -- Relabelling in Graph Transformation / Annegret Habel and Detlef Plump -- Euler Graphs, Triangle-Free Graphs and Bipartite Graphs in Switching Classes / Jurriaan Hage, Tero Harju and Emo Welzl -- Confluence of Typed Attributed Graph Transformation Systems / Reiko Heckel, Jochen Malte Kuster and Gabriele Taentzer -- Abstraction and Control for Shapely Nested Graph Transformation / Berthold Hoffmann -- Hyperedge Substitution in Basic Atom-Replacement Languages / Renate Klempien-Hinrichs -- Distributed Graph Transformation Units / Peter Knirsch and Sabine Kuske -- Describing Policies with Graph Constraints and Rules / Manuel Koch and Francesco Parisi-Presicce -- Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts / Juan de Lara and Hans Vangheluwe -- Using Graph Transformation as the Semantical Model for Software Process Execution in the APSEE Environment / Carla A. Lima Reis, Rodrigo Quites Reis, Marcelo M. de Abreu, Heribert Schlebbe and Daltro J. Nunes -- Graph-Based Reengineering of Telecommunication Systems / Andre Marburger and Bernhard Westfechtel -- Formalising Behaviour Preserving Program Transformations / Tom Mens, Serge Demeyer and Dirk Janssens -- Unparsing of Diagrams with DiaGen / Mark Minas and Frank Struber -- Linear Ordered Graph Grammars and Their Algebraic Foundations / Ugo Montanari and Leila Ribeiro -- Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems / Julia Padberg and Bettina E. Enders -- Incremental Transformation of Lattices: A Key to Effective Knowledge Discovery / John L. Pfaltz -- GraCAD -- Graph-Based Tool for Conceptual Design / Janusz Szuba, Andy Schurr and Adam Borkowski -- A Formal Semantics of UML Statecharts by Model Transition Systems / Daniel Varro -- Hierarchical Vertex Ordering / Sung-Ho Woo and Sung-Bong Yang -- Tutorial Introduction to Graph Transformation: A Software Engineering Perspective / Luciano Baresi and Reiko Heckel -- Tutorial on DNA Computing and Graph Transformation -- Computational Nature of Gene Assembly in Ciliates / Tero Harju, Ion Petre and Grzegorz Rozenberg -- TERMGRAPH 2002 -- Workshop Survey / Detlef Plump -- Workshop on Graph-Based Tools / Tom Mens, Andy Schurr and Gabriele Taentzer -- Workshop on Graph Transformation and Visual Modeling Techniques / Paolo Bottoni and Mark Minas -- Workshop on Software Evolution through Transformations: Towards Uniform Support throughout the Software Life-Cycle / Reiko Heckel, Tom Mens and Michel Wermelinger -- Workshop on Logic, Graph Transformations and Discrete Structures / Bruno Courcelle and Pascal Weil
Control code
50643641
Dimensions
24 cm
Extent
ix, 457 pages
Isbn
9783540443100
Isbn Type
(softcover : alk. paper)
Lccn
2002030882
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations

Library Locations

    • Thomas Jefferson LibraryBorrow it
      1 University Blvd, St. Louis, MO, 63121, US
      38.710138 -90.311107
Processing Feedback ...