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 …

Self-adaptive systems (SASs) are designed to handle changes and uncertainties through a
feedback loop with four core functionalities: monitoring, analyzing, planning, and execution …

Modern software systems are expected to operate under uncertain conditions, without
interruption. Possible causes of uncertainties include changes in the operational …

Requirements elicitation research is reviewed using a framework categorising the
relativeknowness' of requirements specification and Common Ground discourse theory. The …

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 …

In the context of software development, models provide an abstract representation of a
software system or a part of it. In the software development process, they are primarily used …

The software engineering community has proposed numerous approaches for making
software self-adaptive. These approaches take inspiration from machine learning and …

Despite considerable research efforts on handling uncertainty in self-adaptive systems, a
comprehensive understanding of the precise nature of uncertainty is still lacking. This paper …

Security is primarily concerned with protecting assets from harm. Identifying and evaluating
assets are therefore key activities in any security engineering process-from modeling threats …

CONTEXT: The environment in which the system operates, its context, is variable. The
autonomous ability of a software to adapt to context has to be planned since the …