In the area of model-driven engineering, model transformations are proposed as the
technique to systematically manipulate models. For increasing development productivity as …

Domain-Specific Languages (DSLs) are now developed for a wide variety of domains to
address specific concerns in the development of complex systems. When engineering new …

Written by foremost experts in the field, Engineering Modeling Languages provides end-to-
end coverage of the engineering of modeling languages to turn domain knowledge into …

The complexity of cyber–physical systems (CPSs) is commonly addressed through complex
workflows, involving models in a plethora of different formalisms, each with their own …

The correct representation of the relevant properties of a system is an essential requirement
for the effective use and wide adoption of model-based practices in industry. Uncertainty is …

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

Omniscient debugging is a promising technique that relies on execution traces to enable
free traversal of the states reached by a system during an execution. While some General …

Engineering user interfaces involves the use of multiple user interactions. Developers may
struggle with programming and using those user interactions because of a lack of flexibility …

In Model Driven Engineering (MDE), models are first-class citizens, and model
transformation is MDE's" heart and soul". Since model transformations are executed for a …

Nearly all facets of our everyday life strongly depend on software-intensive systems. Besides
correctness, highly relevant quality properties of these systems include performance, as …