Abstract
The LESD project (Linguistic Engineering for Software Development) aimed to develop computing tools for analysis and reasoning on functional or preliminary specifications of aerospace software written in English. These tools help to control the quality of software written during the first stage: specification. The factors considered relevant to the quality of specifications in the LESD project are: traceability, modifiability, completeness, consistency, and verifiability. This paper deals with completeness and modifiability. In the case of completeness we present a symbolic approach to control this factor, using a Knowledge Base. Checks are based on metarequirements that try to ensure structural completeness. The concept of modifiability is based on the level of interconnection between the requirements of the specifications. Two metrics have been defined in order to measure global and local levels of interconnection.
Chapter PDF
Similar content being viewed by others
Keywords
References
Alvarez, J. and Castell, N. (1994) An Approach to the Control of Completeness Based on MetaKnowledge. Research Report LSI-94-50-R. Dept. LSI, Universitat Politècnica de Catalunya, Barcelona, Spain.
Borillo, M., Castell, N., Latour, D., Toussaint, Y. and Verdejo, M.F. (1992) Applying Linguistic Engineering to Software Engineering: The traceability problem, in Proceedings of 10th European Conference on Artificial Intelligence - ECAI’92 (ed. B. Neumann), John Wiley Si Sons.
Borillo, M., Toussaint, Y. and Borillo, A. (1991) Motivations du project LESD, in Proceedings of Linguistic Engineering Conference’91, Versailles, France.
Castell, N. and Hernandez, A. (1995a) Filtering Software Specifications Written in Natural Language, in Proceedings of 7th Portuguese Conference on Artificial Intelligence - EPIA’95, Lecture Notes in Artificial Intelligence, Springer-Verlag.
Castell, N. and Slavkova, O. (1995b) The modifiability Factor in the LESD Project: Definition and Practical Results. Research Report LSI-95-7-R. Dept. LSI, Universitat Politècnica de Catalunya, Barcelona, Spain.
Castell, N. and Slavkova, O. (1995c) Metrics for Quality Factors in the LESD Project, in Proceedings of 5th European Software Engineering Conference - ESEC’95, Lecture Notes in Computer Science, Springer-Verlag.
Castell, N., Slavkova, O., Tuells, A. and Toussaint, Y. (1994) Quality Control of Software Specifications Written in Natural Language, in Proceedings of 7th International Conference on Industrial Engineering Applications of Artificial Intelligence éj Expert Systems - IEA/AIE’94 (eds. F.D. Anger, R. V. Rodriguez, M. Ali ), Gordon and Breach Science Publishers.
Cordes, D.W. and Carver, D.L. (1989) Evaluation method for user requirements documents. Information and Software Technology, 31 (4), 181 - 8.
van Emden, M.H. (1970) Hierarchical Decomposition of. Complexity. Machine Intelligence, 5, 361 - 80.
European Space Agency (1991) ESA software engineering standards, Issue 2, February.
IEEE (1984) Guide to Software Requirements Specifications, ANSI/IEEE Std. 830 - 1984.
Kitchenham, B.A. and Linkman, S.J. (1990) Design Metrics in Practice. Information and Software Technology, 32 (4).
van Lamsweerde, A., Darimon, R. and Massonet, P. (1995) Goal-directed elaboration of requirements for a meeting scheduler: Problems and lessons learnt, in Proceedings of 2nd International Symposium on Requirements Engineering, IEEE CS Press.
Pressman R.S. (1992) Software Engineering: A Practitioner’s Approach. Mac Craw Hill, New York.
Reubenstein, H.B. and Waters, R.C. (1991). The Requirements Apprentice: Automated Assistance for requirements acquisition. IEEE Transactions on Software Engineering, 17 (3), 226 - 40.
Robillard, P.N. and Boloix, G. (1989) The Interconnectivity Metrics: A New Metric Showing How a Program is Organized. The Journal of Systems and Software, 10, 29 - 39.
Toussaint, Y. (1992) Méthodes Informatiques et Linguistiques pour l’aide a la Spécification de Logiciel. Ph.D. Thesis. Université Paul Sabatier, Toulouse, France.
Tuells, A. and Castell, N. (1993) The Completeness Problem in LESD. Research Report LSI-93-26-R. Dept. LSI, Universitat Politècnica de Catalunya, Barcelona, Spain.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Álvarez, J., Castell, N., Slavkova, O. (1996). Combining Knowledge and Metrics to Control Software Quality Factors. In: Bologna, S., Bucci, G. (eds) Achieving Quality in Software. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-34869-8_17
Download citation
DOI: https://doi.org/10.1007/978-0-387-34869-8_17
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-4392-0
Online ISBN: 978-0-387-34869-8
eBook Packages: Springer Book Archive