sle2010/keynote1

SLE 2010 keynote:
A Language for Software Variation Research

Martin Erwig

• DOI: 10.1007/978-3-642-19440-5_1
• T2C: Variability
  • The keynote proposes a calculus for representing and reasoning about software variation (features, configurations, versions) as a unifying variability model.
• T1C: Behavioural Semantics
  • It sketches the semantics of the choice calculus and how variation is eliminated via dimension/tag selection.
• T3C: DSLs
  • The choice calculus is presented as a domain-focused language for variation research and applications such as feature modeling.

---

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