RT Conference Proceedings T1 Analysing requirements specification languages for self-adaptive AAL systems A1 Ayala-Viñas, Inmaculada A1 Amor-Pinilla, María Mercedes A1 Fuentes-Fernández, Lidia K1 Innovaciones tecnológicas - Congresos AB AAL systems are usually deployed in complex environments and should behave autonomously. So, self-adaptation is an essential concern of these systems that should be part of their requirements specification. The modelling of self-adaptation requirements is a challenging task because it is strongly related to other system requirements. The achievement of self-adaptation requirements typically implies prioritization or denial of different requirements, so it is crucial to have mechanisms for their modelling and analysis. we study the suitability of methodologies for self-adaptation requirement specification in the context of a project to develop AAL systems. Specifically, we compare requirements specifications made in RELAX, Tropos4AS and GODA. Our study with 14 people concludes that understanding these specifications is similar for the three languages but poses some difficulties for users. The analysis concludes that the perceived effort and frustration of the users. Specifically, users perceive the understanding of RELAX specification requires more effort and make them feel more frustrated. YR 2023 FD 2023-11-28 LK https://hdl.handle.net/10630/28608 UL https://hdl.handle.net/10630/28608 LA eng NO Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech. DS RIUMA. Repositorio Institucional de la Universidad de Málaga RD 20 ene 2026