Towards Development with Multi-version Models: Detecting Merge Conflicts and Checking Well-Formedness

DOI10.1007/978-3-031-09843-7_7zbMath1514.68031MaRDI QIDQ6487308

Matthias Barkowsky, Holger Giese

Publication date: 7 December 2022

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Fundamentals of algebraic graph transformation
• Metric temporal graph logic over typed attributed graphs
• Unnamed Item

This page was built for publication: Towards Development with Multi-version Models: Detecting Merge Conflicts and Checking Well-Formedness