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 …

The term co-evolution describes the symbiotic relationship between dynamically changing
business environments and the software that supports them. Business changes create …

We develop a behavioural theory of reflective sequential algorithms (RSAs), ie sequential
algorithms that can modify their own behaviour. The theory comprises a set of language …

Businesses and their supporting software evolve to accommodate the constant revision and
re-negotiation of commercial goals, and to intercept the potential of new technology. We …

Reflective algorithms are algorithms that can modify their own behaviour. Recently a
behavioural theory of reflective algorithms has been developed, which shows that they are …

Autonomic systems manage themselves given high-level objectives by their administrators.
They utilise feedback from their own execution and their environment to self-adapt in order …

Change is an intrinsic property of software. A software system, during its lifetime, may
require several updates, improvements, or new features. If these change requirements are …

Self-adaptivity is the capability of a system to adapt itself dynamically to achieve its goals.
Self-adaptive systems will be widely used in the future both to efficiently use system …

Disaster management systems are complex applications due to their distributed and
decentralized nature. Various components execute in parallel with high need of coordination …

Кваліфікаційна робота присвячена виконанню імплементації формальних моделей
оптимізації методів побудови адаптивних розподілених систем шляхом розробки …