Trustworthy variant derivation with translation validation for safety critical product lines
From MaRDI portal
Publication:338617
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
Uses Software
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