Quality of Requirements Specifications - A Framework for Automatic Validation of Requirements

Alberto Rodrigues da Silva

2014

Abstract

Requirements specifications describe multiple technical concerns of a system and are used throughout the project life-cycle to help sharing a common understanding among the stakeholders. In spite a lot of interest has been given to manage the requirements lifecycle, which resulted in numerous tools and techniques becoming available, however, little work has been done that address the quality of requirements specifications. Most of this work still depends on human-intensive tasks made by domain experts that are time-consuming and error prone, and have negative consequences in the success of the project. This paper proposes an automatic validation approach that, with proper tool support, can help to mitigate some of these limitations and therefore can increase the quality of requirements specifications, in particular those that concerns consistency, completeness, and unambiguousness.

References

  1. Bird, S., Klein, E., Loper, E., 2009: Natural Language Processing with Python. O'Reilly Media, 1st edition.
  2. Cunningham, H., 2006. Information Extraction, Automatic. In Encyclopedia of Language & Linguistics, volume 5. Elsevier, 2nd edition.
  3. Davis, A. M., 2005. Just Enough Requirements Management: Where Software Development Meets Marketing. Dorset House Publishing, 1st edition.
  4. Emam, K., Koru, A., 2008. A Replicated Survey of IT Software Project Failures. IEEE Software 25(5) (September 2008) 84-90.
  5. Ferreira, D., Silva, A. R., 2008. Wiki supported collaborative requirements engineering, Proceedings of the 4th International Symposium on Wikis. ACM.
  6. Ferreira, D., Silva, A. R., 2012. RSLingo: An Information Extraction Approach toward Formal Re-quirements Specifications. In: Proc. of the 2nd Int. Workshop on Model-Driven Requirements Engineering (MoDRE 2012), IEEE CS.
  7. Ferreira, D., Silva, A. R., 2013. RSL-IL: An Interlingua for Formally Documenting Requirements. In: Proc. of the of Third IEEE International Workshop on ModelDriven Requirements Engineering (MoDRE 2013), IEEE CS.
  8. Ferreira, D., Silva, A. R., 2013. RSL-PL: A Linguistic Pattern Language for Documenting Software Requirements. In: Proc. of the of Third International Workshop on Requirements Patterns (RePa 2013), IEEE CS.
  9. Foster, H., Krolnik, A., and Lacey, D., 2004. Assertionbased Design. Springer.
  10. Fuchs, N. E., Kaljurand, K., Kuhn, T., 2008. Attempto Controlled English for Knowledge Representation. In Reasoning Web, Fourth International Summer School 2008, Lecture Notes in Computer Science, 5224, Springer.
  11. Hooks I., 1993. Writing Good Requirements, Proceedings of the Third International Symposium of the INCOSE, Volume 2.
  12. IEEE Computer Society, 1998. IEEE Recommended Practice for Software Requirements Specifications. IEEE Std 830-1998.
  13. Kamsties E., Berry D.M. and Paech B., 2001. Detecting Ambiguities in Requirements Documents Using Inspections, Proceedings of the First Workshop on Inspection in Software Engineering.
  14. Kovitz, B., 1998. Practical Software Requirements: Manual of Content and Style. Manning.
  15. Kuhn, T., 2010. Controlled English for Knowledge Representation. Ph.D. thesis, Faculty of Economics, Business Administration and Information Technology of the University of Zurich.
  16. Moreira, R., Paiva, A. C. R., Memon, A., 2013. A patternbased approach for GUI modeling and testing. In IEEE 24th International Symposium on Software Reliability Engineering (ISSRE), IEEE CS.
  17. Pohl, K., 2010. Requirements Engineering: Fundamentals, Principles, and Techniques, 1st edition, Springer.
  18. Ribeiro, A., Silva, A. R., 2014. XIS-Mobile: A DSL for Mobile Applications. Proceedings of SAC 2014 Conference, ACM.
  19. Robertson, S., Robertson, J. 2006. Mastering the Requirements Process, 2nd edition. Addison-Wesley.
  20. Santos, J., Moreira, A., Araújo, J., Goulão, M., 2010. Increasing Quality in Scenario Modelling with ModelDriven Development. In Proceedings of the QUATIC2010 Conference. IEEE CS.
  21. Savic, D., et al., 2012. Use Case Specification at Different Levels of Abstraction. In Proceedings of QUATIC'2012 Conference, 2012, IEEE CS.
  22. Silva, A. R., et al., 2007. Integration of RE and MDE Paradigms: The ProjectIT Approach and Tools. IET Software Journal,1(6), IET.
  23. Silva, A. R., 2014. Quality of Requirements Specifications: A Preliminary Overview of an Automatic Validation Approach. In Proceedings of ACM SAC'2014 Conference, ACM.
  24. Sommerville, I., Sawyer, P., 1997. Requirements Engineering: A Good Practice Guide. Wiley.
  25. van Lamsweerde, A., 2009. From Worlds to Machines. In A Tribute to Michael Jackson. Lulu Press.
  26. Young, R., 2003. The Requirements Engineering Handbook. Artech Print on Demand.
Download


Paper Citation


in Harvard Style

Rodrigues da Silva A. (2014). Quality of Requirements Specifications - A Framework for Automatic Validation of Requirements . In Proceedings of the 16th International Conference on Enterprise Information Systems - Volume 2: ICEIS, ISBN 978-989-758-028-4, pages 96-107. DOI: 10.5220/0004951900960107


in Bibtex Style

@conference{iceis14,
author={Alberto Rodrigues da Silva},
title={Quality of Requirements Specifications - A Framework for Automatic Validation of Requirements},
booktitle={Proceedings of the 16th International Conference on Enterprise Information Systems - Volume 2: ICEIS,},
year={2014},
pages={96-107},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004951900960107},
isbn={978-989-758-028-4},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 16th International Conference on Enterprise Information Systems - Volume 2: ICEIS,
TI - Quality of Requirements Specifications - A Framework for Automatic Validation of Requirements
SN - 978-989-758-028-4
AU - Rodrigues da Silva A.
PY - 2014
SP - 96
EP - 107
DO - 10.5220/0004951900960107