Verifying software requirements with XSLT Export

@article{citeulike:3483640, 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.}, address = {New York, NY, USA}, author = {Dur\'an, Amador and Ruiz, Antonio and Bern\'ardez, Beatriz and Toro, Miguel}, citeulike-article-id = {3483640}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=566493.1148028}, citeulike-linkout-1 = {http://dx.doi.org/10.1145/566493.1148028}, doi = {10.1145/566493.1148028}, issn = {0163-5948}, journal = {SIGSOFT Softw. Eng. Notes}, keywords = {2002, read, require, xml, xslt}, number = {1}, pages = {39--44}, posted-at = {2009-02-01 04:09:39}, priority = {0}, publisher = {ACM}, title = {Verifying software requirements with XSLT}, url = {http://dx.doi.org/10.1145/566493.1148028}, volume = {27}, year = {2002} }

TY - JOUR ID - citeulike:3483640 L3 - citeulike-article-id:3483640 N2 - 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. IS - 1 JF - SIGSOFT Softw. Eng. Notes SN - 0163-5948 AD - New York, NY, USA EP - 44 TI - Verifying software requirements with XSLT PB - ACM VL - 27 SP - 39 KW - 2002 KW - read KW - require KW - xml KW - xslt AU - Dur\'an, Amador AU - Ruiz, Antonio AU - Bern\'ardez, Beatriz AU - Toro, Miguel PY - 2002/// UR - http://dx.doi.org/10.1145/566493.1148028 ER -