Verifying software requirements with XSLT

Authors:
Amador Durán;Antonio Ruiz;Beatriz Bernárdez;Miguel Toro
Affiliations:
University of Seville, Spain;University of Seville, Spain;University of Seville, Spain;University of Seville, Spain
Venue:
ACM SIGSOFT Software Engineering Notes
Year:
2002

Citing 4
Cited 1

Practical software requirements: a manual of content and style

Practical software requirements: a manual of content and style
The Unified Modeling Language user guide

The Unified Modeling Language user guide
Software Engineering Standards

Software Engineering Standards
Enhancing a Requirements Baseline with Scenarios

RE '97 Proceedings of the 3rd IEEE International Symposium on Requirements Engineering

Innovations in Natural Language Document Processing for Requirements Engineering

Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this article, we present an approach for the automatic verification of software requirements documents. 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 compute some metrics. These ideas have been implemented in REM, an experimental requirements management tool that is also described in this paper.