Proceedings IEEE Joint International Conference on Requirements Engineering (2002)
Sept. 9, 2002 to Sept. 13, 2002
Amador Durán , Universidad de Sevilla
Antonio Ruiz-Cortés , Universidad de Sevilla
Rafael Corchuelo , Universidad de Sevilla
Miguel Toro , Universidad de Sevilla
In this paper we present a light-weight approach for the automatic verification of requirements. This approach is not based on natural language parsing techniques but on the representation of requirements in XML. In our approach, XSLT stylesheets are used not only to automatically generate requirements documents, but also to provide verification-oriented heuristics as well as to measure the quality of requirements using some verification-oriented metrics. These ideas have been implemented in REM, an experimental XML-based requirements management tool also described in this paper.
A. Durán, R. Corchuelo, A. Ruiz-Cortés and M. Toro, "Supporting Requirements Verification Using XSLT," Proceedings IEEE Joint International Conference on Requirements Engineering(RE), Essen, Germany, 2002, pp. 165.