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 important concern for modern software systems is to become more cost-effective, while
being versatile, flexible, resilient, dependable, energy-efficient, customisable, configurable …

Building on concepts drawn from control theory, self-adaptive software handles
environmental and internal uncertainties by dynamically adjusting its architecture and …

Designing software systems that have to deal with dynamic operating conditions, such as
changing availability of resources and faults that are difficult to predict, is complex. A …

A self-adaptive software system modifies its behavior at runtime in response to changes
within the system or in its execution environment. The fulfillment of the system requirements …

Web services run in complex contexts where arising events may compromise the quality of
the whole system. Thus, it is desirable to count on autonomic mechanisms to guide the self …

When a self-adaptive system detects that its adaptation goals may be compromised, it needs
to determine how to adapt to ensure its goals. To that end, the system can analyze the …

Self-adaptation equips a computing system with a feedback loop that enables it to deal with
change caused by uncertainties during operation, such as changing availability of resources …

An increasingly important concern of software engineers is handling uncertainties at design
time, such as environment dynamics that may be difficult to predict or requirements that may …

Self-adaptation provides a principled way to deal with software systems' uncertainty during
operation. Examples of such uncertainties are disturbances in the environment, variations in …