Skip to main content
SpringerLink
Log in
Book cover

Portuguese Conference on Artificial Intelligence

EPIA 1995: Progress in Artificial Intelligence pp 447–455Cite as

Filtering software specifications written in natural language

  • Posters
  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 990))

Abstract

The specification phase is one of the most important and least supported part of the software development process. We have conceived SAREL (Assistance System for Writing Software Specification in Natural Language) as a tool to improve the specification phase. SAREL is a continuation of a program of research and development called LESD (Linguistic Engineering for Software Design). The purpose of SAREL is to assist engineers in the creation of software specifications written in natural language. It is divided into three modules: the first one controls the requirement according to the writing norms, the second one obtains a conceptual representation using the Knowledge Base, and the third one carries out a series of optional analyses taking into account the following software quality properties: consistency, completeness, traceability, verifiability and modifiability. Once a requirement has been labeled as correct, its conceptual representation is added to the Requirements Base.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alvarez J., Castell N. “An Approach to the Control of Completeness Based on MetaKnowledge”, Technical report, LSI-94-50-R Dept. of LSI, Universitat Politècnica de Catalunya, 1994.

    Google Scholar 

  2. ANSI/IEEE Std 729-1983. IEEE Guide to Software Requirements Specifications 1983.

    Google Scholar 

  3. Association Européene des Constructeurs de Matériel Aéronautique. AECMA Simplified English, A Guide for the preparation of aircraft maintenance documentation in the international aerospace maintenance language, December 1989.

    Google Scholar 

  4. Borillo M., Borillo A., Castell N., Latour D., Toussaint Y., Verdejo M.F. “Applying Linguistic Engineering to Software Engineering: The traceability problem”. In Proceedings of the European Conference on Artificial Intelligence (ECAI92), pages 593–595, Viena, Austria, August 1992.

    Google Scholar 

  5. Borillo M., Toussaint Y., and Borillo A. “A. Motivations du project LESD”. In Conference on Linguistic Engineering'91, Versailles, France, January 1991.

    Google Scholar 

  6. Briscoe T., Grover C., Boguraev B., Carroll J. “The ALVEY Natural Language Tools Project Grammar: A Large Computational Grammar”. Technical report, ALVEY Documents, Cambridge Univ., Computer Laboratory, UK, 1987.

    Google Scholar 

  7. Castell N., Slavkova O. “The Modifiability Factor in the LESD Project: Definition and Practical Results”, Technical report, LSI-95-7-R Dept. of LSI, Universitat Politècnica de Catalunya, 1993.

    Google Scholar 

  8. Castell N., Slavkova O. “Metrics for Quality Factors in the LESD Project”. In 5th European Software Engineering Conference (ESEC'95), Sitges, Spain, 1995.

    Google Scholar 

  9. Castell N., Slavkova O., Toussaint Y. and Tuells A. “Quality Control of Software Specifications written in Natural Language”. In Proceedings of the Seventh International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA/AIE'94), Austin, Texas, USA, 1994.

    Google Scholar 

  10. Hernández, A. “SAREL: An assistance system for writing software specifications in natural language”. In Proceedings of the IBERAMIA'94, ISBN 980-6168-16-X Caracas, Venezuela, 1994.

    Google Scholar 

  11. Jarke M., Bubenko J., Rolland C., Sutcliffe A. and Vassiliou J. “Theory Underlying Requirement Engineering: An Overview of NATURE at Genesis”. In Proceedings of the IEEE International Symposium on Requirements Engineering (RE'93), San Diego, California, USA, 1993.

    Google Scholar 

  12. Miller, G.A. “Wordnet: A Dictionary Browser” in Information in Data, Proceedings of the First Conference of the UW Centre for the New Oxford Dictionary, Waterloo, Canada: University of Waterloo. 1985.

    Google Scholar 

  13. Reubenstein H.B. and Waters R.C. “The Requirements Apprentice: Automated Assistance for Requirements Acquisition”. IEEE Transactions on Software Engineering, 17:226–240, 1991.

    Article  Google Scholar 

  14. Rich C. and Waters R.C. The Programmer's Apprentice. Reading, MA: Addison-Wesley, and Baltimore, MD. ACM Press, 1990.

    Google Scholar 

  15. Rolland C., Proix C. A Natural Language Approach for Requirements Engineering”. Conceptual Modeling, Databases and CASE: An Integrated View of Information Systems Development, P. Loucopoulos, R. Zicari (eds.) WILEY, 1992.

    Google Scholar 

  16. Toussaint Y. Méthodes Informatiques et Linguistiques pour l'Aide a la Spécification de Logiciel. PhD thesis, Universidad Paul Sabatier, Toulouse, 1992.

    Google Scholar 

  17. Tsai J.P., Weigert T. and Jang H.C. “A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis”. IEEE Transactions on Software Engineering, 18:1076–1100, 1992.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Departament de Llenguatges i Sistemes Informàtics, Universitat Politècnica de Catalunya, Pau Gargallo, 5, 08028, Barcelona, Spain

    Núria Castell & Àngels Hernández

Authors
  1. Núria Castell
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Àngels Hernández
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Carlos Pinto-Ferreira Nuno J. Mamede

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Castell, N., Hernández, À. (1995). Filtering software specifications written in natural language. In: Pinto-Ferreira, C., Mamede, N.J. (eds) Progress in Artificial Intelligence. EPIA 1995. Lecture Notes in Computer Science, vol 990. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60428-6_41

Download citation

  • DOI: https://doi.org/10.1007/3-540-60428-6_41

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60428-0

  • Online ISBN: 978-3-540-45595-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation