Microservices are quite widely impacting on the software industry in recent years. Rapid
evolution and continuous deployment represent specific benefits of microservice-based …

Good software quality is a consequence of good design. Model refactoring counteracts
erosion of the software design at an early stage in the software development project …

Context: Software quality estimation is a challenging and time-consuming activity, and
models are crucial to face the complexity of such activity on modern software applications. In …

Software model optimization is the task of automatically generate design alternatives,
usually to improve quality aspects of software that are quantifiable, like performance and …

Context Software refactoring is a common practice aimed at addressing requirements or
fixing bugs during the software development. While refactoring related to functional …

Software quality estimation is a challenging and time-consuming activity, and models are
crucial to face the complexity of such activity on modern software applications. One main …

With the emerging IoT and Cloud-based networked systems that rely heavily on
virtualization technologies, elasticity becomes a dominant system engineering attribute for …

Uncertainty in Informatics can stem from various sources, whether ontological (inherent
unpredictability, such as aleatory factors) or epistemic (due to insufficient knowledge) …

Uncertainty is present in model-based developments in many different ways. In the context
of composing model-based analysis tools, this chapter discusses how the combination of …

Context: While the performance analysis of a software architecture is a quite well-assessed
task nowadays, the issue of interpreting the performance results for providing feedback to …