sle2015/paper08

SLE 2015 paper:
Example-Based Validation of Domain-Specific Visual Languages

Jesús J. López-Fernández, Esther Guerra, Juan de Lara

• DOI: 10.1145/2814251.2814256
• T5C: Testing
  • The main focus is validating DSL definitions by checking them against example instances (testing/validation).
• T3C: DSLs
  • It targets domain-specific languages, specifically domain-specific *visual* languages.
• T4F: Visualisation
  • Because the DSLs are visual, the work directly involves graphical notation and its interpretation.
• T4A: Workbenches
  • The approach is motivated by and discussed in the context of tool support for DSL engineering.

---

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