Abstract Cyber–Physical Systems (CPS) are heterogeneous and require cross-domain
expertise to model. The complexity of these systems leads to questions about prevalent …

Toward model-driven sustainability evaluation Page 1 80 COMMUNICATIONS OF THE ACM |
MARCH 2020 | VOL. 63 | NO. 3 review articles SUSTAINABILITY—THE CAPACITY TO …

Suitable software languages are crucial to tackling the ever-increasing complexity of
software engineering processes and software products. They model, specify, and test …

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 Domain-Specific Languages (DSLs) bridge the gap between the problem space, in
which stakeholders work, and the solution space, ie, the concrete artifacts defining the target …

This tutorial provides a practical approach for develo** and integrating various Domain-
Specific (modeling) Languages (DSLs) used in the development of modern complex …

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

Executable domain-specific languages (DSLs) enable the execution of behavioral models.
While an execution is mostly driven by the model content (eg, control structures), many use …

Abstract Cyber-Physical Systems (CPSs) are networks of heterogeneous embedded
systems immersed within a physical environment, thus combining discrete and continuous …