Ponencia
An XML-Based Approach for the Automatic Verification of Software Requirements Specifications
Autor/es | Durán Toro, Amador
Bernárdez Jiménez, Beatriz Ruiz Cortés, Antonio Toro Bonilla, Miguel |
Departamento | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos |
Fecha de publicación | 2001 |
Fecha de depósito | 2015-06-29 |
Resumen | In this paper, we present an approach for the automatic verification of software requirements specifications. This approach is based on the representation of software requirements in XML and the usage of the XSLT language ... In this paper, we present an approach for the automatic verification of software requirements specifications. This approach is based on the representation of software requirements in XML and the usage of the XSLT language not only to automatically generate requirements documents, but also to verify some desired quality properties and to automatically compute some metrics. These ideas have been implemented in REM, an experimental requirements management tool that is also described in this paper. |
Agencias financiadoras | Comisión Interministerial de Ciencia y Tecnología (CICYT). España |
Identificador del proyecto | TIC 2000–1106–C02–01 |
Cita | Durán Toro, A., Bernárdez Jiménez, B., Ruiz Cortés, A. y Toro Bonilla, M. (2001). An XML-Based Approach for the Automatic Verification of Software Requirements Specifications. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
file_1.pdf | 204.3Kb | [PDF] | Ver/ | |