Filtrado de especificaciones de software escritas en lenguaje natural

Abstract

La fase de especificación es una de las más importantes y menos controladas en el proceso de desarrollo de software. Hemos concebido SAREL1 (la versión original de este articulo, en inglés, ha sido publicado por Springer ­Verlag en la colección Lecture Notes on Al [11]) (Sistema de Ayuda para la Redacción de Especificaciones de Software escritas en Lenguage Natural) como una herramienta que mejore la base de especificación. SAREL es una continuación del programa de investigación y desarrollo llamado LESD (Jnge11iería Liflgüistica para el Diseño de Software). El propósito de SAREL1 (este trabajo ha sido parcialmente subvencionado por CICYT (TIC93-420}) es ayudar a los ingenieros en la creación de especificaciones de software escrilas en Lenguaje Natural. Está dividido en tres módulos: el primero controla los requerimientos de acuerdo a las normas de redacción, el segundo obtiene una representación conceptual utilizando la base de conocimiento, y el tercero lleva a cabo una serie de análisis teniendo en cuenta las siguientes propiedades de calidad: consistencia. completitud. trazabilidad, verificabilidad y modificabilidad. Una vez el requisito ha sido etiquetado como correcto, su repre­sentación conceptual es añadida a la base de requisitos.