Software systems dealing with distributed applications in changing environments normally
require human supervision to continue operation in all conditions. These (re-) configuring …

Self-adaptive software is capable of evaluating and changing its own behavior, whenever
the evaluation shows that the software is not accomplishing what it was intended to do, or …

Quantum software plays a critical role in exploiting the full potential of quantum computing
systems. As a result, it has been drawing increasing attention recently. This paper defines …

Abstract The World Wide Web has succeeded in large part because its software architecture
has been designed to meet the needs of an Internet-scale distributed hypermedia system …

Software architectures shift the focus of developers from lines-of-code to coarser-grained
architectural elements and their overall interconnection structure. Architecture description …

Alloy is a little language for describing structural properties. It offers a declaration syntax
compatible with graphical object models, and a set-based formula syntax powerful enough …

To deal with the increasing complexity of software systems and uncertainty of their
environments, software engineers have turned to self-adaptivity. Self-adaptive systems are …

Self-management is put forward as one of the means by which we could provide systems
that are scalable, support dynamic composition and rigorous analysis, and are flexible and …

Continuous availability is a critical requirement for an important class of software systems.
For these systems, runtime system evolution can mitigate the costs and risks associated with …

Rigorous system design requires the use of a single powerful component framework
allowing the representation of the designed system at different detail levels, from application …