Towards Bridging the Gap between Control and Self-Adaptive System Properties

Javier Cámara, Alessandro V. Papadopoulos, Thomas Vogel +4

Two of the main paradigms used to build adaptive software employ different types of properties to capture relevant aspects of the system's run-time behavior. On the one hand, contr…