Proceedings IEEE Joint International Conference on Requirements Engineering (2002)
Sept. 9, 2002 to Sept. 13, 2002
Jorge García-Duque , University of Vigo
José J. Pazos-Arias , University of Vigo
Belén Barragáns-Martínez , University of Vigo
The development of requirements specifications can be supported by a cycle composed of two phases: analysis and revision. In this paper, we use the SCTL-MUS methodology to bridge the gap between these two phases. Analysis phase provides diagnostic information if a desirable property is not satisfied by the current system specification. A crucial aspect of the analysis-revision cycle is how to use the diagnostic information provided to generate alternative system refinements which can be included in the system specification to satisfy the property in question (revision phase). Our approach allows translating the diagnostic information into system requirements refinements closed to the system domain. It facilitates to the stakeholders the decision of what system requirements refinements must be included in the system requirements specification.
J. García-Duque, J. J. Pazos-Arias and B. Barragáns-Martínez, "An Analysis-Revision Cycle to Evolve Requirements Specifications by Using the SCTL-MUS Methodology," Proceedings IEEE Joint International Conference on Requirements Engineering(RE), Essen, Germany, 2002, pp. 282.