More than a decade ago, the research topic models@ run. time was coined. Since then, the
research area has received increasing attention. Given the prolific results during these …

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 …

This paper focuses on the challenges of modeling cyber–physical systems (CPSs) that arise
from the intrinsic heterogeneity, concurrency, and sensitivity to timing of such systems. It …

A socio-technical system (STS) consists of an interplay of humans, organizations, and
technical systems. STSs are heterogeneous, dynamic, unpredictable, and weakly …

An architectural approach to self-adaptive systems involves runtime change of system
configuration (ie, the system's components, their bindings and operational parameters) and …

A distributed system's functionality must continuously evolve, especially when environmental
context changes. Such required evolution imposes unbearable complexity on system …

Software systems are deployed in environments that keep changing over time. They should
therefore adapt to changing conditions to meet their requirements. The satisfaction rate of …

Requirements engineering (RE) for self-adaptive systems (SAS) is an emerging research
area. The key features of such systems are to be aware of the changes in both their …

Adaptivity is prevalent in today's software. Mobile devices self-adapt to available network
connections, washing machines adapt to the amount of laundry, etc. Current approaches for …

Goal models have proven useful for capturing, understanding, and communicating
requirements during early stages of software development. However, the utility of goal …