Presentation
Applying XML technologies in Requirements Verification
Author/s | Durán Toro, Amador
Ruiz Cortés, Antonio Corchuelo Gil, Rafael Toro Bonilla, Miguel |
Department | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos |
Publication Date | 2002 |
Deposit Date | 2017-10-24 |
Published in |
|
Abstract | 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 defect–predictive metrics. These ideas have been implemented in REM, an experimental requirements management tool that is also described in this paper. |
Funding agencies | Comisión Interministerial de Ciencia y Tecnología (CICYT). España |
Project ID. | TIC 2000–1106–C02–01
VII.18 (WEST) |
Citation | Durán Toro, A., Ruiz Cortés, A., Corchuelo Gil, R. y Toro Bonilla, M. (2002). Applying XML technologies in Requirements Verification. En V Workshop Iberoamericano de Ingeniería de Requisitos y Ambientes Software, La Habana, Cuba. |
Files | Size | Format | View | Description |
---|---|---|---|---|
Applying XML.pdf | 186.9Kb | [PDF] | View/ | |