Filtering software specifications written in natural language

  • Núria Castell
  • Àngels Hernández
Posters Theory of Computation
First Online:
Part of the Lecture Notes in Computer Science book series (LNCS, 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.

Keywords

Natural Language Semantic Representation Space Vehicle Assistance System Conceptual Representation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in to check access.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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. 2.
    ANSI/IEEE Std 729-1983. IEEE Guide to Software Requirements Specifications 1983.Google Scholar
  3. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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.CrossRefGoogle Scholar
  14. 14.
    Rich C. and Waters R.C. The Programmer's Apprentice. Reading, MA: Addison-Wesley, and Baltimore, MD. ACM Press, 1990.Google Scholar
  15. 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. 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. 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.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Núria Castell
    • 1
  • Àngels Hernández
    • 1
  1. 1.Departament de Llenguatges i Sistemes InformàticsUniversitat Politècnica de CatalunyaBarcelonaSpain

Personalised recommendations