The Community for Technology Leaders
Proceedings IEEE Joint International Conference on Requirements Engineering (2002)
Essen, Germany
Sept. 9, 2002 to Sept. 13, 2002
ISSN: 1090-705X
ISBN: 0-7695-1465-0
pp: 165
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.
91 ms
(Ver 3.3 (11022016))