LIENHARDT, Michael

LIENHARDT, Michael  

INFORMATICA  

Mostra records
Risultati 1 - 9 di 9 (tempo di esecuzione: 0.021 secondi).
Titolo Data di pubblicazione Autore(i) File
A Formal Model for Multi SPLs 2017 Damiani Ferruccio; Michael LIENHARDT; Luca Paolini
Abstraction refinement for the analysis of software product lines 2017 Damiani, Ferruccio; Hähnle, Reiner; Lienhardt, Michael
An extension of the ABS toolchain with a mechanism for type checking SPLs 2017 Damiani, Ferruccio; Lienhardt, Michael; Muschevici, Radu; Schaefer, Ina
Interoperability of software product line variants 2018 Damiani F.; Hahnle R.; Kamburjan E.; Lienhardt M.
Multi software product lines in the wild 2018 Lienhardt, Michael; Damiani, Ferruccio; Donetti, Simone; Paolini, Luca
On Type Checking Delta-Oriented Product Lines 2016 Damiani, Ferruccio; Lienhardt, Michael
Refactoring Delta-Oriented Product Lines to achieve Monotonicity 2016 Damiani, Ferruccio; Lienhardt, Michael
Refactoring delta-oriented product lines to enforce guidelines for efficient type-checking 2016 Damiani, Ferruccio; Lienhardt, Michael
A unified and formal programming model for deltas and traits 2017 Damiani, Ferruccio; Hähnle, Reiner; Kamburjan, Eduard; Lienhardt, Michael