Durán Toro, AmadorRuiz Cortés, AntonioCorchuelo Gil, RafaelToro Bonilla, Miguel2017-09-062017-09-062002Durán Toro, A., Ruiz Cortés, A., Corchuelo Gil, R. y Toro Bonilla, M. (2002). Supporting Requirements Verification Using XSLT. En RE 2002 : IEEE Joint International Conference on Requirements Engineering Essen, Germany: IEEE Computer Society.0-7695-1465-01090-705Xhttp://hdl.handle.net/11441/64219In 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 experimentalXML– based requirements management tool also described in this paper.application/pdfengAttribution-NonCommercial-NoDerivatives 4.0 Internacionalhttp://creativecommons.org/licenses/by-nc-nd/4.0/info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/openAccesshttps://doi.org/10.1109/ICRE.2002.1048519