Software-engineering and management 2015 Filieri, Antonio; Hoffmann, Henr; Maggio, Martina
Self-adaptation enables software to execute successfully in dynamic, unpredictable, and uncertain environments. However, most of the current approaches lack formal guarantees on the effectiveness and dependability of the adaptation mechanisms, limiting their applicability in practice.