RuleMerger: Automatic Construction of Variability-Based Model Transformation Rules

DOI10.1007/978-3-662-49665-7_8zbMath1378.68024OpenAlexW2408786559MaRDI QIDQ2801761

J. Rubin, J. Plöger, Marsha Chechik, Thorsten Arendt, Gabriele Taentzer, Daniel Strüber

Publication date: 21 April 2016

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-49665-7_8

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Granularity of conflicts and dependencies in graph transformation systems: a two-dimensional approach ⋮ Variability-based model transformation: formal foundation and application ⋮ RuleMerger

Uses Software

• gSpan
• GGL
• VMQL
• GReAT

This page was built for publication: RuleMerger: Automatic Construction of Variability-Based Model Transformation Rules