Application of linguistic techniques for Use Case analysis

Proceedings of the IEEE International Conference on Requirements Engineering

Volumn 2002-January, Issue , 2002, Pages 157-164

  Fantechi, A ^a   Gnesi, S ^b   Lami, G ^b   Maccari, A ^c  

^a UNIVERSITY OF FLORENCE   (Italy)

^b CNR   (Italy)

^c NOKIA RESEARCH CENTER   (United States)

Author keywords

Application software; Books; Computer aided software engineering; Natural languages; Power system modeling; Software architecture; Software systems; Specification languages; Unified modeling language; Vehicles

Indexed keywords

APPLICATION PROGRAMS; COMPUTATIONAL LINGUISTICS; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SOFTWARE; LINGUISTICS; MODELING LANGUAGES; REQUIREMENTS ENGINEERING; SEMANTICS; SOFTWARE ARCHITECTURE; SOFTWARE ENGINEERING; SPECIFICATION LANGUAGES; UNIFIED MODELING LANGUAGE; VEHICLES;

BOOKS; FUNCTIONAL REQUIREMENT; LINGUISTIC APPROACH; LINGUISTIC TECHNIQUES; NATURAL LANGUAGES; POWER SYSTEM MODEL; REQUIREMENTS DOCUMENT; SOFTWARE SYSTEMS;

QUALITY CONTROL;

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

References (19)

1. J.R. Abrial. The B Book-Assigning Programs to Meanings. Cambridge University Press, August 1996.
2. V. Ambriola, V. Gervasi, Processing Natural Language Requirements, 12th IEEE Conf. On Automated Software Engineering (ASE'97), IEEE Computer Society Press, Nov. 1997.
3. T. Bolognesi, E. Brinksma Introduction to the ISO Specification Language LOTOS. Computer Networks, 14 (1), 25-59, 1987.
4. A. Cockburn, Writing effective Use Cases, Addison-Wesley, 2000
5. A. Cockburn, Structuring Use Cases with goals, Journal of Object-Oriented Programming, Sep-Oct 1997 (part I) and Nov-Dec 1997 (part II)
6. Cmap tool on-line: see http://www.yana.net/cmap/
7. Connexor tool. See http://www.conexoroy.com/
8. Eureka-!2023 Programme, ITEA (ip00004, CAFÉ. See: http://www.itea-office.org/projects/cafe-fact.html
9. F.Fabbrini, M.Fusani, S.Gnesi, G.Lami Qualit? Evaluation of Software Requirements Specification, Software & Internat Quality Week 2000 International Conference, San Francisco, CA, 2000.
10. F.Fabbrini, M.Fusani, S.Gnesi, G.Lami An Automatic Quality Evaluation for Natural Language Requirements, 7th International Workshop on Requirements Engineering: Foundation for Software Quality REFSQ.01, Interlaken, Switzerland, 2001.
11. F.Fabbrini, M.Fusani, S.Gnesi, G.Lami The Linguistic Approach to the Natural Language Requirements Quality: Benefits of the use of an Automatic Tool, 26th Annual IEEE Computer Society-NASA Goddard Space Flight Center Software Engineering Workshop, Greenbelt, MA, USA, November 27-29 2001.
12. N.E.Fuchs, R.Schwitter Specifying Logic Programs in Controlled Natural Language, Workshop on Computational Logic for Natural Language Processing, Edinburgh, April 3-5, 1995.
13. I. Jacobson, G. Booch, J. Rumbaugh The Unified Modelling Language Reference Manual. Addison-Wesley, 1999.
14. E. Kamsties, B. Peach, Taming Ambiguity in Natural Language Requirements, ICSSEA 2000, Paris, December 2000.
15. B.Macias, S.G. Pulman. Natural Language processing for requirement specifications. In Redmill and Anderson, Safety Critical Systems, pages 57-89. Chapman and Hall, 1993.
16. L. Mich, R. Garigliano, Ambiguity Measures in Requirement Engineering. Int. Conf. On Software Theory and Practice-ICS 2000, Beijing, China, Aug. 2000.
17. J.M. Spivey The Z Notation: A Reference Manual, 2nd edn., London Prentice-Hall, 1992.
18. SyTwo on-line. See: http://www.yana.net/sytwo/index.html
19. Wilson, W.M.; Rosenberg, L.H.; Hyatt, L.E. Automated Analysis of Requirement Specifications. Proceedings of the Nineteenth International Conference on Software Engineering (ICSE-97), Boston, MA, May 17-23, Pages: 161 -171.