An automatic tool for the analysis of natural language requirements

Computer Systems Science and Engineering

Volumn 20, Issue 1, 2005, Pages 53-62

  Gnesi, Stefania ^a   Lami, Giuseppe ^a   Trentanni, Gianluca ^a   Fabbrini, Fabrizio ^a   Fusani, Mario ^a  

^a ISTI CNR   (Italy)

Author keywords

Natural language requirements; QuARS; Software quality

Indexed keywords

AUTOMATION; COMPUTATIONAL LINGUISTICS; COMPUTER ARCHITECTURE; COMPUTER SOFTWARE; NATURAL LANGUAGE PROCESSING SYSTEMS; PROBLEM SOLVING; QUALITY ASSURANCE; REQUIREMENTS ENGINEERING;

AMBIGUITY EVALUATION; QUARS; SOFTWARE QUALITY; SYSTEM ARCHITECTURE;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 13244262820     PISSN: 02676192     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (26)

1. Abrial JR. The B Book - Assigning Programs to Meanings. Cambridge University Press, August 1996.
2. Ambriola V. and Gervasi V. Processing Natural Language Requirements, 12th IEEE Conf. On Automated Software Engineering (ASE'97). IEEE Computer Society Press, Nov. 1997.
3. Ben Achour C., Souveyet C. and Tawbi M. Bridging the Gap between Users and Requirements Engineering: the Scenario-Based Approach, International Journal of Computer Systems Science & Engineering, special issue: Object-Oriented Information Systems, Vol 5 N°1, 1999.
4. Bolognesi T. and Brinksma E. Introduction to the ISO Specification Language LOTOS. Computer Networks. 14 (1), 25-59, 1987.
5. Cockburn A. Writing Effective Use Cases Addison Wesley, 2001.
6. Coleman M. and Liau, T. L. A computer readability formula designed for machine scoring. Journal of Applied Psychology, 60, 283-284, 1975.
7. Fantechi A., Gnesi S., Lami G. and Maccari A. Application of Linguistic Techniques for Use Case Analysis. Requirements Engineering Journal, Vol. 8, Issue 3, pages 161-170, Springer-Verlag, August 2003
8. Fantechi A., Gnesi S., Ristori G., Carenini M., Vanocchi M. and Moreschini P. Assisting requirement formalization by means of natural language translation, Formal Methods in System Design, vol 4, n.3, pp. 243-263, Kluwer Academic Publishers, 1994.
9. Fabbrini F., Fusani M., Gnesi S. and Lami G. An Automatic Quality Evaluation for Natural Language Requirements, 7th International Workshop on Requirements Engineering: Foundation for Software Quality REFSQ'01, Interlaken, Switzerland, June 2001.
10. Fabbrini F., Fusani M., Gnesi S. and Lami G. The Linguistic-Approach to the Natural Language Requirements Quality: Benefits of the use of an Automatic Tool, 26th Annual IEEE Computer Society - NASA Coddard Space Flight Center Software Engineering Workshop, Greenbelt, MA, USA, November 2001.
11. Firesmith D. Specifying Good Requirements, Journal of Object Technology, Vol. 2, No. 4, July-August 2003. ETH Zurich.
12. Fuchs NE. and Schwitter R. Specifying Logic Programs in Controlled Natural Language, Workshop on Computational Logic for Natural Language Processing, Edinburgh, April 1995.
13. Goldin L. and Berry DM. Abstfinder, a prototype Abstraction Finder for Natural Language Text for Use in Requirements Elicitation: Design. Methodology, and Evaluation. First International Conference on Requirements Engineering, 1994.
14. Hooks I. Writing Good Requirements, Proc. Of the Fourth International Symposium of the NCOSE, Vol. 2., 1994.
15. http://www.cs.umanitoba.ca/~lindek/minipar.htm
16. ISO/IECTR 15504 (Parts 1-9), 1998
17. Kamsties E. and Peach B. Taming Ambiguity in Natural Language Requirements. ICSSEA 2000, Paris, December 2000.
18. Macias B. and Pulman SG. Natural Language processing for requirement specifications. In Redmill and Anderson, Safety Critical Systems, Chapman and Hall, 1993.
19. Mich L., Franch M. and Novi Inverardi P. Market research for requirements analysis using linguistic tools, Requirements Engineering Journal Vol. 9, Num. 1, pages 40-56, Springer-Verlag, February 2004.
20. Mich L. and Garigliano R. Ambiguity Measures in Requirement Engineering. Int. Conf. On Software Theory and Practice - ICS 2000, Beijing, China, Aug. 2000.
21. Natt och Dag J., Regnell B., Carlshamre P., Andersson M. and Karlsson J. Evaluating Automated Support for Requirements Similarity Analysis in Market-Driven development Seventh International Workshop on Requirements Engineering: Foundation for Software Quality, Interlaken, Switzerland, June 2001.
22. Rumbaugh J., Jacobson I. and Bouch G. The Unified Modeling Language Reference Manual, Addison-Wesley 1999.
23. Sommerville I. and Sawyer P. Requirements Engineering A good practice guide. Wiley Ed., 1997.
24. Spivey JM. The Z Notation: A Reference Manual, 2nd edn., London Prentice-Hall, 1992.
25. Wilson W.M., Rosenberg L.H. and Hyatt L.E. Automated Analysis of Requirement Specifications" Nineteenth International Conference on Software Engineering (ICSE-97). Boston, MA, May 1997.
26. Zowghi D., Gervasi V. and McRae A. Using Default Reasoning to Discover Inconsistencies in Natural Language Requirements, Proc. of the 8th Asia-Pacific Software Engineering Conference, December 2001.