Model transformations are the key technique in Model-Driven Engineering (MDE) to
manipulate and construct models. As a consequence, the correctness of software systems …

Abstract Unified Modeling Language (UML) has become the de-facto standard to design
today's large-size object-oriented systems. However, focusing on multiple UML diagrams is …

Abstract The Object Constraint Language (OCL) substantially enriches modeling languages
like UML, MOF or EMF with respect to formulating meaningful model properties. In model …

Model transformations are central to Model-Driven Engineering (MDE), where they are used
to transform models between different languages; to refactor and simulate models; or to …

In the context of product lines, test case selection aims at obtaining a set of relevant test
cases for a product from the entire set of test cases available for a product line. While …

With the increase in connectedness and the growing volume of data, ensuring confidentiality
becomes increasingly critical. Data-driven analyses try to cope with this complexity by …

Usage-based statistical testing employs knowledge about the actual or anticipated usage
profile of the system under test for estimating system reliability. For many systems, usage …

Abstract System development strategies, like model-driven engineering (MDE), help to
abstract architectures and provide a promising way to deal with architecture complexity and …

Automated model generation can be highly beneficial for various application scenarios
including software tool certification, validation of cyber-physical systems or benchmarking …

Despite the wide range of existing tool support, constructing a design environment for a
complex domain-specific language (DSL) is still a tedious task as the large number of …