Autonomous robotic systems are complex, hybrid, and often safety critical; this makes their
formal specification and verification uniquely challenging. Though commonly used, testing …

Requirements are sensitive to the context in which the system-to-be must operate. Where
such context is well understood and is static or evolves slowly, existing RE techniques can …

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

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 …

Solid requirements engineering has increasingly been recognized as the key to improved,
on-time, and on-budget delivery of software and systems projects. New software tools are …

Runtime adaptation mechanisms that leverage software models extend the applicability of
model-driven engineering techniques to the runtime environment. Contemporary mission …

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

The ever-growing complexity of software systems coupled with their stringent availability
requirements are challenging the manual management of software after its deployment. This …

Self-adaptation is imposing as a key characteristic of many modern software systems to
tackle their complexity and cope with the many environments in which they can operate. Self …

Self-reconfiguration enables a dynamically adaptive system (DAS) to satisfy requirements
even as detrimental system and environmental conditions arise. A DAS, especially one …