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

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

Label
Graph transformations : first international conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002 : proceedings
Title
Graph transformations
Title remainder
first international conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002 : proceedings
Statement of responsibility
Andrea Corradini [and others] (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
DLC
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
http://library.link/vocab/subjectName
  • Graph grammars
  • Computer science
  • Grammaires de graphes
  • Informatique
  • Computer science
  • Graph grammars
  • Graph-Grammatik
  • Graphentheorie
  • Graphersetzungssystem
  • Informatik
  • Kongress
  • Softwareentwicklung
Label
Graph transformations : 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
Dimensions
24 cm.
Dimensions
unknown
Extent
ix, 457 pages
Isbn
9783540443100
Lccn
2002030882
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
Specific material designation
remote
System control number
  • (OCoLC)50643641
  • (OCoLC)ocm50643641
Label
Graph transformations : 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
Dimensions
24 cm.
Dimensions
unknown
Extent
ix, 457 pages
Isbn
9783540443100
Lccn
2002030882
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
Specific material designation
remote
System control number
  • (OCoLC)50643641
  • (OCoLC)ocm50643641

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...