Software systems dealing with distributed applications in changing environments normally
require human supervision to continue operation in all conditions. These (re-) configuring …

One major challenge in self-adaptive systems is to assure the required quality properties.
Formal methods provide the means to rigorously specify and reason about the behaviors of …

The complexity of information systems is increasing in recent years, leading to increased
effort for maintenance and configuration. Self-adaptive systems (SASs) address this issue …

Self-management is put forward as one of the means by which we could provide systems
that are scalable, support dynamic composition and rigorous analysis, and are flexible and …

The ability to evolve software rapidly and reliably is a major challenge for software
engineering. In this introductory chapter we start with a historic overview of the research …

Increasingly, software should dynamically adapt its behavior at run-time in response to
changing conditions in the supporting computing and communication infrastructure, and in …

It is commonly agreed that a self-adaptive software system is one that can modify itself at run-
time due to changes in the system, its requirements, or the environment in which it is …

Requirements for high availability in computing systems today demand that systems be self-
adaptive to maintain expected qualities-of-service in the presence of system faults, variable …

A software architecture manifests the major early design decisions. These early decisions
determine the system's development, deployment and evolution. Thus, making better …

Rainbow is a framework for engineering a system with run-time, self-adaptive capabilities to
monitor, detect, decide, and act on opportunities for system improvement. We applied …