Modern cloud computing environments support a relatively high degree of automation in
service provisioning, which allows cloud service customers (CSCs) to dynamically acquire …

The role of information systems (IS) as representations of real-world systems is changing in
an increasingly digitalized world, suggesting that conceptual modeling is losing its …

Formal methods offer an effective means to assert the correctness of software systems
through mathematical reasoning. However, the need to formulate system properties in a …

The level of maturity that has been reached by model transformation technologies is proved
by the growing literature on transformation libraries that address an increasingly wide …

Robots artificially replicate human capabilities thanks to their software, the main
embodiment of intelligence. However, engineering robotics software has become …

We are exploring the practice of large-scale reuse involving at least a group of source code
files. Our research question is to determine the extent of such reuse occurring in open …

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-Driven Engineering provides an abstract representation of systems through the use of
models and views. For complex systems, however, finding a single model and a single view …

Model-driven engineering promotes an active use of models to conduct the software
development process. In this way, models are used to specify, simulate, verify, test and …

Fragmentation of information across instances of different metamodels poses a significant
problem for software developers and leads to a major increase in effort of transformation …