Providing assurances for self-adaptive systems is challenging. A primary underlying
problem is uncertainty that may stem from a variety of different sources, ranging from …

Requirements traceability provides critical support throughout all phases of software
engineering. Automated tracing based on information retrieval (IR) reduces the effort …

A Dynamic Software Product Line (DSPL) aims at managing run-time adaptations of a
software system. It is built on the assumption that context changes that require these …

Context: Agile development is in widespread use, even in safety-critical domains. Motivation:
However, there is a lack of an appropriate safety analysis and verification method in agile …

Quantum computing is rapidly transitioning from a scientific curiosity to an industrial reality,
offering the potential to overcome classical computation limitations. This shift has given rise …

Due to the uncertainty of what actual adaptations will be performed at run time, verifying
adaptive systems at design time may lead to limited results or may even be infeasible. Run …

Agile methodologies are becoming widespread in modern software development. However,
due to a lack of safety assurance activities, agile methods are criticized for being inadequate …

Modern software systems are continuously evolving, often because systems requirements
change over time. Responding to requirements changes is one of the principles of agile …

Software development processes have been evolving from rigid, pre-specified, and
sequential to incremental, and iterative. This evolution has been dictated by the need to …

Agile approaches are known by making the use of informal elicitation techniques for
requirements specification. The exclusive use of these techniques may cause some issues …