Inter-model Consistency Checking Using Triple Graph Grammars and Linear Optimization Techniques

DOI10.1007/978-3-662-54494-5_11zbMath1430.68028OpenAlexW2598750690MaRDI QIDQ5215906

Erhan Leblebici, Anthony Anjorin, Andy Schürr

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_11

zbMATH Keywords

linear optimizationtraceabilityconsistency checking

Mathematics Subject Classification ID

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

Related Items (4)

Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming ⋮ Unnamed Item ⋮ Comprehensive systems: a formal foundation for multi-model consistency management ⋮ Schema compliant consistency management via triple graph grammars and integer linear programming

This page was built for publication: Inter-model Consistency Checking Using Triple Graph Grammars and Linear Optimization Techniques