Abstract Context Model Driven Engineering (MDE) aims to alleviate complexity and improve
reusability in software development. The development of complex software implies to divide …

Sound methodologies for constructing security-critical systems are extremely important in
order to confront the increasingly varied security threats. As a response to this need, Model …

The growing use of models for separating concerns in complex systems has lead to a
proliferation of model composition operators. These composition operators have traditionally …

Multilevel Modelling (MLM) approaches make it possible for designers and modellers to
work with an unlimited number of abstraction levels to specify their domain-specific …

In this chapter, we characterize the notion of “software language” in a broad sense. We
begin by setting out diverse examples of programming, modeling, and specification …

Model-Driven Engineering (MDE) reduces complexity, improves Separation of Concerns
and promotes reuse by structuring software development as a process of model production …

Multilevel Modelling (MLM) approaches make it possible for designers and modellers to
work with an unlimited number of abstraction levels to specify their domain-specific …

Software performance engineering supports software architects in identifying potential
performance problems in software systems during the design phase. Details of the …

A term “model-driven” is not at all a new buzzword within the ranks of system development
community. Nevertheless, the ever increasing complexity of model-driven approaches keeps …

The use of model composition algorithms is becoming more wide-spread. For example,
model composition can be applied in the context of Software Product Lines when integrating …