Published January 11, 2022
| Version v1
Publication
An Automated Approach for Verification of Software Requirements
Description
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.
Abstract
Comisión Interministerial de Ciencia y Tecnología (CICYT) GEOZOCO TIC 2000–1106–C02–01
Additional details
- URL
- https://idus.us.es/handle//11441/128749
- URN
- urn:oai:idus.us.es:11441/128749
- Origin repository
- USE