2011 First International Workshop on Empirical Requirements Engineering (2011)
Aug. 30, 2011 to Aug. 30, 2011
Mirko Morandini , Fondazione Bruno Kessler - CIT, 38123, Povo - Trento, Italy
Alessandro Marchetto , Fondazione Bruno Kessler - CIT, 38123, Povo - Trento, Italy
Anna Perini , Fondazione Bruno Kessler - CIT, 38123, Povo - Trento, Italy
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.
formal specification, formal verification, self-adjusting systems, systems analysis
M. Morandini, A. Marchetto and A. Perini, "Requirements comprehension: A controlled experiment on conceptual modeling methods," 2011 First International Workshop on Empirical Requirements Engineering(EMPIRE), Trento, 2011, pp. 53-60.