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.