CfPBoK
by
Vadim Zaytsev
sle2018/tool3
SLE 2018
tool/demo paper:
Messir: A Text-first DSL-based Approach for UML Requirements Engineering
BenoƮt Ries
,
Alfredo Capozucca
,
Nicolas Guelfi
DOI:
10.1145/3276604.3276614
T4A: Workbenches
The paper is a tool demonstration presenting language engineering tooling or infrastructure.
T5D: Formal Methods
It relies on formal methods (definitions/proofs/semantic properties) beyond informal description.
T1D: Composition
It emphasises modularity/composition/integration (embedding or coordinating language components).
T4C: Vertical Transformation
It uses compilation/generation/refinement to derive executable artefacts (vertical transformations).
The page is maintained by
Dr. Vadim Zaytsev
a.k.a. @
grammarware
. Last updated: June 2026.