BDBComp
Parceria:
SBC
An XML–Based Approach for the Automatic Verification of Software Requirements Specifications

Amador DuránBeatriz BernárdezAntonio RuizMiguel Toro

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

http://wer.inf.puc-rio.br/WERpapers/artigos/artigos_WER01/duran.pdf

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato: bdbcomp@lbd.dcc.ufmg.br
     Mantida por:
LBD