sle2018/paper12

SLE 2018 paper:
Analysing Meta-Model Product Lines

Esther Guerra, Juan de Lara, Marsha Chechik, Rick Salay

• DOI: 10.1145/3276604.3276609
• T1A: Design
  • The paper primarily contributes techniques for language definition (often syntax-related) as part of language design.
• T5D: Formal Methods
  • It relies on formal methods (definitions/proofs/semantic properties) beyond informal description.
• T2C: Variability
  • It targets product lines/variability (feature models, variability, configuration).

---

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