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.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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.
ANSI/IEEE Std 729-1983. IEEE Guide to Software Requirements Specifications 1983.
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.
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.
Borillo M., Toussaint Y., and Borillo A. “A. Motivations du project LESD”. In Conference on Linguistic Engineering'91, Versailles, France, January 1991.
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.
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.
Castell N., Slavkova O. “Metrics for Quality Factors in the LESD Project”. In 5th European Software Engineering Conference (ESEC'95), Sitges, Spain, 1995.
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.
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.
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.
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.
Reubenstein H.B. and Waters R.C. “The Requirements Apprentice: Automated Assistance for Requirements Acquisition”. IEEE Transactions on Software Engineering, 17:226–240, 1991.
Rich C. and Waters R.C. The Programmer's Apprentice. Reading, MA: Addison-Wesley, and Baltimore, MD. ACM Press, 1990.
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.
Toussaint Y. Méthodes Informatiques et Linguistiques pour l'Aide a la Spécification de Logiciel. PhD thesis, Universidad Paul Sabatier, Toulouse, 1992.
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.
Author information
Authors and Affiliations
Editor information
Rights 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