sle2012/paper16

SLE 2012 paper:
On the Reusable Specification of Non-functional Properties in DSLs

Francisco Durán, Steffen Zschaler, Javier Troya

• DOI: 10.1007/978-3-642-36089-3_19
• T1E: Reuse
  • The paper’s main goal is reusable DSL building blocks for specifying/analysing non-functional properties across DSLs.
• T3C: DSLs
  • The setting is the construction and extension of DSLs, including modular language components for NFPs.
• T5D: Formal Methods
  • It provides formal conditions/proofs for conservative extension and supports analyses via model checking.

---

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