The article discusses how modern software systems need to be able to adapt to changes in their environment automatically. This is important for ensuring that the software can continue to provide the required service effectively. The researchers focus on non-functional requirements, like reliability and performance, which are crucial for the quality of software systems. They propose using formal models to design and manage adaptive software systems, allowing for continuous verification and adaptation to changes in the environment.