Graph Transformation

10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings

  • Juan de Lara
  • Detlef Plump
Conference proceedings ICGT 2017

Part of the Lecture Notes in Computer Science book series (LNCS, volume 10373)

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 10373)

Table of contents

  1. Front Matter
    Pages I-XIV
  2. Foundations

    1. Front Matter
      Pages 1-1
    2. Andrea Corradini, Dominque Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro
      Pages 3-19
    3. Thomas Bellet, Agnès Arnould, Hakim Belhaouari, Pascale Le Gall
      Pages 36-53
    4. Jakob Lykke Andersen, Christoph Flamm, Daniel Merkle, Peter F. Stadler
      Pages 54-69
  3. Graph Languages and Parsing

    1. Front Matter
      Pages 71-71
    2. Andrea Corradini, Barbara König, Dennis Nolte
      Pages 73-89
    3. Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye
      Pages 90-105
    4. Frank Drewes, Berthold Hoffmann, Mark Minas
      Pages 106-122
  4. Analysis and Verification

    1. Front Matter
      Pages 123-123
    2. Kristopher Born, Leen Lambers, Daniel Strüber, Gabriele Taentzer
      Pages 125-141
    3. Johannes Dyck, Holger Giese
      Pages 142-158
    4. Maria Maximova, Holger Giese, Christian Krause
      Pages 159-175
  5. Model Transformation and Tools

    1. Front Matter
      Pages 177-177
    2. Erhan Leblebici, Anthony Anjorin, Lars Fritsche, Gergely Varró, Andy Schürr
      Pages 179-195
    3. Daniel Strüber, Kristopher Born, Kanwal Daud Gill, Raffaela Groner, Timo Kehrer, Manuel Ohrndorf et al.
      Pages 196-208
    4. Albert Zündorf, Daniel Gebauer, Clemens Reichmann
      Pages 221-230
  6. Back Matter
    Pages 231-231

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 10th International Conference on Graph Transformation, ICGT 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.

The 14 papers presented were carefully reviewed and selected from 23 submissions. The papers cover a wide range of topics including theoretical approaches to graph transformation and their verification, model-driven engineering, chemical reactions as well as various applications. They are organized in the following topical sections: foundations; graph language and parsing; analysis and verification; and model transformation and tools.

Keywords

semantics graph transformation Petri nets programming languages graph theory software engineering computer software selection and evaluation computer architecture hidden Markov models speech recognition context sensitive grammars geometry formal languages signal processing theorem proving set theory software design graph grammar world wide web learning systems

Editors and affiliations

  1. 1.Universidad Autónoma de MadridMadridSpain
  2. 2.University of YorkYorkUnited Kingdom

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-61470-0
  • Copyright Information Springer International Publishing AG 2017
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-61469-4
  • Online ISBN 978-3-319-61470-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book