Object Constraint Language (OCL) plays a pivotal role in Model Driven Architecture (MDA),
an important applied software engineering concept created over a quarter of a century ago …

With the emerging concept of model transformation, information can be extracted from one
or more source models to produce the target models. The conversion of these models can …

Model-driven engineering (MDE) addresses the complexity of modern-day embedded
system design. Multiple MDE frameworks are often integrated into a design process to use …

Domain-Specific Languages (DSLs) are required in a wide range of contexts, implying
different execution environments. The same DSL may even have to exist in different …

Software testing is important in software migration as it is used to validate the migration and
ensure functional equivalence which is a key requirement. Developing new test cases for …

A predominant kind of software application is mashups of third-party web services. The third-
party services are usually black-boxes that have private source code and public Application …

Languages with a fixed set of data types and operations are very useful in formal verification
and validation. However, the languages that are most relevant to industrial applications are …

Modular plants build a production system by integrating a set of pre-designed modules.
Integration of these modules, supplied by different vendors, is performed using various …

Testing plays an important role in the context of software migration as it is used to validate
and ensure functional equivalence as a key requirement. As developing new test cases of …

Software testing plays an important role in software migration as it verifies its success. As the
creation of test cases is an expensive and time consuming activity, whenever test cases are …