Harvard |

Harvard

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/009022718/catalog> ?p ?o. }

Showing items 1 to 32 of 32 with 100 items per page.

catalog contributor b12686016.
catalog contributor b12686017.
catalog created "2002.".
catalog date "2002".
catalog date "2002.".
catalog dateCopyrighted "2002.".
catalog description "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 -- ".
catalog description "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 -- ".
catalog description "Includes bibliographical references and index.".
catalog description "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 -- ".
catalog description "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 -- ".
catalog description "Workshop on Logic, Graph Transformations and Discrete Structures / Bruno Courcelle and Pascal Weil.".
catalog extent "ix, 457 p. :".
catalog identifier "354044310X (softcover : alk. paper)".
catalog isPartOf "Lecture notes in computer science ; 2505".
catalog issued "2002".
catalog issued "2002.".
catalog language "eng".
catalog publisher "Berlin ; New York : Springer,".
catalog subject "511/.5 21".
catalog subject "Computer science Congresses.".
catalog subject "Graph grammars Congresses.".
catalog subject "QA267.3 .I34 2002".
catalog tableOfContents "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 -- ".
catalog tableOfContents "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 -- ".
catalog tableOfContents "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 -- ".
catalog tableOfContents "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 -- ".
catalog tableOfContents "Workshop on Logic, Graph Transformations and Discrete Structures / Bruno Courcelle and Pascal Weil.".
catalog title "Graph transformations : first international conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002 : proceedings / Andrea Corradini ... [et al.] (eds.)".
catalog type "Barcelona (2002) swd".
catalog type "Conference proceedings. fast".
catalog type "text".