Supporting requirements verification using XSLT

Proceedings of the IEEE International Conference on Requirements Engineering

Volumn 2002-January, Issue , 2002, Pages 165-172

  Durán, Amador ^a   Ruiz Cortés, Antonio ^a   Corchuelo, Rafael ^a   Toro, Miguel ^a  

^a UNIVERSITY OF SEVILLE   (Spain)

Author keywords

Engineering management; Filters; HTML; Natural languages; Quality assurance; Quality management; Software quality; Unified modeling language; User interfaces; XML

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER SOFTWARE SELECTION AND EVALUATION; FILTERS (FOR FLUIDS); HTML; MODELING LANGUAGES; QUALITY ASSURANCE; QUALITY MANAGEMENT; REQUIREMENTS ENGINEERING; USER INTERFACES; XML;

AUTOMATIC VERIFICATION; ENGINEERING MANAGEMENT; NATURAL LANGUAGE PARSING; NATURAL LANGUAGES; REQUIREMENTS DOCUMENT; REQUIREMENTS MANAGEMENT TOOL; REQUIREMENTS VERIFICATION; SOFTWARE QUALITY;

UNIFIED MODELING LANGUAGE;

EID: 4944223699     PISSN: 1090705X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICRE.2002.1048519     Document Type: Conference Paper

References (22)

1. I. Alexander. Getting Started with DXL, the DOORS eXtension Language. Technical report, Telelogic Innovate, 2001.
2. C. Ben Achour, C. Rolland, N. A. M. Maiden, and C. Souveyet. Guiding Use Case Authoring: Results of an Empirical Study. In ISRE'99 Proceedings, 1999.
3. G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, 1999.
4. A. Cockburn. Writing Effective Use Cases. Addison-Wesley, 2001.
5. A. Durán. A Methodological Framework for Requirements Engineering of Information Systems (in Spanish). PhDthesis, University of Seville, 2000.
6. A. Durán, B. Bernárdez, A. Ruiz, and M. Toro. A Requirements Elicitation Approach Based in Templates and Patterns. In WER'99 Proceedings, Buenos Aires, 1999.
7. A. Durán, A. Ruiz, B. Bernárdez, and M. Toro. Verifying Software Requirements with XSLT. ACM Software Engineering Notes, 27(1), 2002.
8. A. Davis et al. Identifying and Measuring Quality in a Software Requirements Specification. In Proceedings of the 1st International Software Metrics Symposium, pages 141-152, 1993.
9. IEEE. Recommended Practice for Software Requirements Specifications. IEEE/ANSI Standard 830-1998.
10. R. Jelliffe. The Schematron Assertion Language 1.5. Technical report, Academia Sinica Computing Centre, 2001.
11. J. C. S. P. Leite, H. Hadad, J. Doorn, and G. Kaplan. A Scenario Construction Process. Requirements Engineering Journal, 5(1), 2000.
12. J. C. S. P. Leite, G. Rossi, F. Balaguer, V. Maiorana, G. Kaplan, G. Hadad, and A. Oliveros. Enhancing a Requirements Baseline with Scenarios. In Proceedings of the 3rd IEEE International Symposium on Requirements Engineering (RE'97), 1997.
13. C. Nentwich, W. Emmerich, and A. Finkesltein. Static consistency checking for distributed specifications. In Proceedings of Automated Software Engineering, 2001.
14. OMG. XMLMetadata Interchange (XMI) Specification 1.1. Technical report, November 2000.
15. OMG. Unified Modeling Language, v1.4. Technical report, September 2001.
16. S. Robertson and J. Robertson. Mastering the Requirement Process. Addison-Wesley, 1999.
17. C. Rolland and C. B. Achour. Guiding the Construction of Textual Use Case Specifications. Data & Knowledge Engineering Journal, 25(1-2), 1998.
18. L. Rosenberg, T. F. Hammer, and L. L. Huffman. Requirements, Testing and Metrics. In 15th Annual Pacific Northwest Software Quality Conference, Utah, 1998.
19. G. Schneider and J. P.Winters. Applying Use Cases: a Practical Guide. Addison-Wesley, 1998.
20. W3C. XML Path Language (XPath) 1.0. W3C Recommendation, November 1999.
21. W3C. XSL Transformations (XSLT) 1.0. W3C Recommendation, November 1999.
22. W3C. Extensible Markup Language (XML) 1.0 (Second Edition). W3C Recommendation, October 2000.