Trustworthy variant derivation with translation validation for safety critical product lines

DOI10.1016/j.jlamp.2016.02.001zbMath1392.68145OpenAlexW2314220009MaRDI QIDQ338617

Alexandru F. Iosif-Lazăr, Andrzej Wąsowski

Publication date: 7 November 2016

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2016.02.001

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• Coq
• AGG
• ATL
• SPLLIFT

Cites Work

• Generic semantics of feature diagrams
• ATL: A model transformation tool
• Fundamental approaches to software engineering. 12th international conference, FASE 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22--29, 2009. Proceedings
• Fundamental approaches to software engineering. 11th international conference, FASE 2008, held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, March 29--April 6, 2008. Proceedings
• Formal verification of translation validators
• Feature-oriented programming: A new way of object composition
• Software Product Line Engineering

This page was built for publication: Trustworthy variant derivation with translation validation for safety critical product lines