Objeto de conferencia
Especificación de requisitos: de lo informal a lo formal
Registro en:
Autor
Dasso, Aristides
Funes, Ana
Institución
Resumen
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. Eje: Ingeniería de Software Red de Universidades con Carreras en Informática (RedUNCI)