Graph Transformation

Beschreibung

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.

Includes supplementary material: sn.pub/extras

Autor*in

Juan de Lara

Themen in »Graph Transformation«

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

Stimmen zu »Graph Transformation«

Details

Link teilen