Change-Preserving Model Repair

DOI10.1007/978-3-662-54494-5_16zbMath1430.68029OpenAlexW2602512370MaRDI QIDQ5215912

Yngve Lamo, Manuel Ohrndorf, Adrian Rutle, Gabriele Taentzer

Publication date: 13 February 2020

Published in: Fundamental Approaches to Software Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-54494-5_16

zbMATH Keywords

graph transformationmodel repairmodel-based engineering

Mathematics Subject Classification ID

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

Related Items (4)

Unnamed Item ⋮ Unnamed Item ⋮ Comprehensive systems: a formal foundation for multi-model consistency management ⋮ Constructing optimized constraint-preserving application conditions for model transformation rules

Uses Software

• Henshin

This page was built for publication: Change-Preserving Model Repair