Especificación de requisitos: de lo informal a lo formal

Abstract

Esta investigación se enmarca dentro del campo de la Ingeniería de Software, particularmente en lo que hace a la aplicación de metodologías formales y semi-formales de especificación de requisitos. A partir de una especificación de requisitos realizada en un lenguaje natural pasamos a una especificación en un lenguaje formal, por medio de reglas de transformación, inicialmente heurísticas, para en el futuro transformarlas en una aplicación de soporte al diseño de sistemas de software.