Abstract Model-Driven Engineering is a development paradigm that uses models instead of
code as primary development artifacts. In this paper, we focus on executable models, which …

The development and evolution of an advanced modeling environment for a Domain-
Specific Modeling Language (DSML) is a tedious task, which becomes recurrent with the …

Omniscient debugging is a promising technique that relies on execution traces to enable
free traversal of the states reached by a model (or program) during an execution. While a …

Abstract Executable Domain-Specific Modeling Languages (xDSMLs) enable the
application of early dynamic verification and validation (V&V) techniques for behavioral …

Understanding the run-time behavior of software systems can be a challenging activity.
Debuggers are an essential category of tools used for this purpose as they give developers …

To this day, debugging support for the DEVS formalism has been provided, at best, in an ad-
hoc way. The intricacies of dealing with the interplay of different notions of (simulated) time …

The increasing complexity of embedded systems leads to uncertain behaviors, security
flaws, and design mistakes. With model-based engineering, early diagnosis of such issues …

Modern-day software is increasingly developed by domain experts. Domain-specific
languages (DSLs) help them to bridge the conceptual gap between the problem and the …

Live programming is a style of development characterized by incremental change and
immediate feedback. Instead of long edit-compile cycles, developers modify a running …

To develop complex systems and tackle their inherent complexity,(executable) modelling
takes a prominent role in the development cycle. But whereas good tool support exists for …