SLE 2009 paper:
Composing Feature Models

Mathieu Acher, Philippe Collet, Philippe Lahire, Robert B. France

🏆 Most Influencial Paper Award at SLE 2019
DOI: 10.1007/978-3-642-12107-4_6
T2C: Variability
- Feature models are a core variability artifact in software product lines, and the paper focuses on composing them.
T1D: Composition
- Composition is the central operation studied, aligning with integration/composition concerns.
T5D: Formal Methods
- Feature-model composition is usually defined with precise constraints/semantics, with a formal-methods flavor.

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.