Graph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings

Başlık:

Yazar:

Giese, Holger. editor.

ISBN:

9783319091082

Fiziksel Niteleme:

XII, 285 p. 110 illus. online resource.

Seri:

Lecture Notes in Computer Science, 8571

İçindekiler:

Verification -- Meta-Modelling and Model Transformations -- Rewriting and Applications in Biology -- Graph Languages and Graph Transformation -- Applications. Meta-Modelling and Model Transformations -- Rewriting and Applications in Biology -- Graph Languages and Graph Transformation -- Applications.

Özet:

This book constitutes the proceedings of the 7th International Conference on Graph Transformations, ICGT 2014, held in York, UK, in July 2014. The 17 papers and 1 invited paper presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on verification, meta-modelling and model transformations, rewriting and applications in biology, graph languages and graph transformation, and applications.

Konu Başlığı:

Computer science.

Software engineering.

Data structures (Computer science).

Algorithms.

Computer logic.

Mathematical logic.

Computer science -- Mathematics.

Discrete Mathematics in Computer Science.

Data Structures.

Logics and Meanings of Programs.

Algorithm Analysis and Problem Complexity.