Title :
Requirements comprehension: A controlled experiment on conceptual modeling methods
Author :
Morandini, Mirko ; Marchetto, Alessandro ; Perini, Anna
Author_Institution :
Fondazione Bruno Kessler - CIT, Trento, Italy
Abstract :
Several Requirements Engineering (RE) methods have been proposed to analyze and model requirements specifications. However, these methods have often been only partially evaluated and few attempts exist in literature to study and evaluate RE methods through experiments. In this paper, we document an empirical study that has been performed to evaluate the comprehension of requirements which were expressed in Tropos4AS. Tropos4AS specializes the goal-oriented software engineering methodology Tropos for the case of self-adaptive systems. In the experiment, we asked subjects to perform comprehension tasks on requirements specifications expressed in Tropos4AS and in Tropos, respectively. Results show that Tropos4AS is more effective than Tropos in describing requirements of self-adaptive systems, especially when the models are used by novice requirements engineers.
Keywords :
formal specification; formal verification; self-adjusting systems; systems analysis; Tropos4AS; conceptual modeling method; goal-oriented software engineering methodology; model requirement specification; requirement engineering; selfadaptive system; Adaptation models; Analytical models; Complexity theory; Data mining; Laboratories; Materials; Software engineering; Requirements engineering; empirical studies; goal-oriented requirements engineering; self-adaptive systems;
Conference_Titel :
Empirical Requirements Engineering (EmpiRE), 2011 First International Workshop on
Conference_Location :
Trento
Print_ISBN :
978-1-4577-1075-9
Electronic_ISBN :
978-1-4577-1076-6
DOI :
10.1109/EmpiRE.2011.6046256