Graph Transformation

8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings

  • Francesco Parisi-Presicce
  • Bernhard Westfechtel
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9151)

Table of contents

  1. Front Matter
    Pages I-XIV
  2. Foundations

    1. Front Matter
      Pages 1-1
    2. Frank Drewes, Berthold Hoffmann, Mark Minas
      Pages 19-34
    3. Andrea Corradini, Dominique Duval, Rachid Echahed, Frederic Prost, Leila Ribeiro
      Pages 35-51
    4. H. J. Sander Bruggink, Barbara König, Dennis Nolte, Hans Zantema
      Pages 52-68
    5. Erhan Leblebici, Anthony Anjorin, Andy Schürr, Gabriele Taentzer
      Pages 87-103
    6. Mateus de Oliveira Oliveira
      Pages 121-137
    7. Aleks Kissinger, Vladimir Zamdzhiev
      Pages 138-154
    8. Hendrik Radke, Thorsten Arendt, Jan Steffen Becker, Annegret Habel, Gabriele Taentzer
      Pages 155-170
  3. Applications: Technical Papers

    1. Front Matter
      Pages 187-187
    2. Jens H. Weber, Simon Diemert, Morgan Price
      Pages 205-220
    3. Pieter M. Kwantes, Pieter Van Gorp, Jetty Kleijn, Arend Rensink
      Pages 221-236
  4. Applications: Tool Presentations

    1. Front Matter
      Pages 255-255
    2. Erhan Leblebici, Anthony Anjorin, Andy Schürr
      Pages 257-265

About these proceedings

Introduction

This book constitutes the proceedings of the 8th International Conference on Graph Transformations, ICGT 2015, held in L'Aquila, Italy, in July 2015. The 15 full papers presented together with 3 short papers and 1 keynote were carefully reviewed and selected from 27 submissions. The papers are organized in topical sections on foundations; applications: technical papers, and tool presentations.

Keywords

algebraic language theory amalgamation computational models grammar analysis graph constraints graph grammar graph parsing graph rewriting graph transformation system hypergraphs local search meta modeling model checking model transformations model-driven software engineering reachability reconfigurable petrinets rewrite systems software verification verification

Editors and affiliations

  • Francesco Parisi-Presicce
    • 1
  • Bernhard Westfechtel
    • 2
  1. 1.Dipartimento di InformaticaSapienza Università di RomaRomeItaly
  2. 2.Angewandte Informatik 1Universität BayreuthBayreuthGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-21145-9
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-21144-2
  • Online ISBN 978-3-319-21145-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book