CfPBoK
by
Vadim Zaytsev
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.