Over the years, a number of approaches have been proposed on the description of systems
and software in terms of multiple views represented by models. This modelling branch, so …

When dealing with complex systems, information is very often fragmented across many
different models expressed within a variety of (modeling) languages. To provide the relevant …

During the development of large software-intensive systems, developers use several
modeling languages and tools to describe a system from different viewpoints. Model-driven …

Model-based Systems Engineering (MBSE) advocates the use of models in every stage of
development, leading to large number of models that need coordination, collaboration, and …

While developers and users of modern software systems usually only need to interact with a
specific part of the system at a time, they are hindered by the ever-increasing complexity of …

Model-Driven Engineering (MDE) proposes to modularize complex software-intensive
systems using multiple models where each module serves a specific concern. These …

The variety of data is one of the most challenging issues for the research and practice in
data management. The so-called multi-model data are naturally organized in different, but …

In the context of complex system development, heterogeneous modeling responds to the
need to integrate several domains. This need requires the use of the most appropriate …

A static approach is proposed to study secure composition of software. We extend the/spl
lambda/-calculus with primitives for invoking services that respect given security …

In this article we discuss how we can facilitate the growing need for early validation and
verification (V&V) of system behaviour in Model-Based Systems Engineering (MBSyE) …