sle2010/paper15

SLE 2010 paper:
Extending DMM Behavior Specifications for Visual Execution and Debugging

Nils Bandener, Christian Soltenborn, Gregor Engels

• DOI: 10.1007/978-3-642-19440-5_24
• T4F: Visualisation
  • The work emphasises visual execution and debugging, i.e., visualisation of runtime behavior and debugging feedback.
• T1C: Behavioural Semantics
  • It builds on behavioral/executable specifications of DMM models to enable execution and debugging.
• T4A: Workbenches
  • The contribution includes tool support to execute and debug models in a visual manner.

---

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