Modeling and specifying correct software systems is a challenging task that can be
supported by providing appropriate modeling abstractions. This article proposes an …

We propose a multi-scale methodology for complex software systems using the model
transformation techniques. The methodol-ogy provides a correct by design approach for the …

Specifying correct software-intensive Systems of Systems architectures is a challenging
research direction requiring new modeling abstractions and techniques. For this purpose …

In this paper, we propose a multi-scale modeling approach for software architecture oriented
to facilitate adaptability management. The proposed design approach is founded on UML …

Modeling correct software-intensive Systems of Systems architectures is a challenging
research direction that can be mastered by providing appropriate modeling abstractions. For …

Modeling correct software-intensive Systems of Systems architectures is a challenging
research direction that can be mastered by providing modeling abstractions. For this …

This thesis proposes a set of model processing operations for manipulating architecture and
design level software engineering models. The approach draws from well-established and …

Software architectures for System of Systems (SoS) is an important research area. The
design of an SoS can be organized around a set of architectural transformation models. In …

Abstract Model-Driven Engineering automates the development of information systems. This
approach is based on the use of Domain-Specific Modelling Languages (DSMLs) for the …

The crucial point in Model Driven Architecture (MDA) is that software and system
development are based on abstract models that are successively transformed into more …