Ponencia
An Automated Approach for Verification of Software Requirements
Autor/es | Durán Toro, Amador
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 | 2022-01-11 |
Publicado en |
|
Resumen | In this paper, we present an automated approach for the verification of
software requirements. This approach is based on the representation of software
requirements in XML and the usage of the XSLT language to automatically ... In this paper, we present an automated approach for the verification of software requirements. This approach is based on the representation of software requirements in XML and the usage of the XSLT language to automatically verify some desired quality properties. 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 | GEOZOCO TIC 2000–1106–C02–01 |
Cita | Durán Toro, A., Ruiz Cortés, A. y Toro Bonilla, M. (2001). An Automated Approach for Verification of Software Requirements. En JIRA 2001: Jornadas de Ingeniería de Requisitos Aplicada, Sevilla, España. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
An automated approach for ... | 164.3Kb | [PDF] | Ver/ | |