Director:
Arístides Dasso
Objetivos
específicos
Explotar
los formalismos de especificación junto con mecanismos que automaticen
la construcción de prototipos evolutivos a partir de las especificaciones.
El alcance de los métodos
formales, con este enfoque, sería:
- Soporte en la validación
de especificaciones.
- Automatización
en derivación de prototipos evolutivos.
- Transformaciones horizontales:
los prototipos evolutivos se transforman en programas semánticamente
equivalente usando un lenguaje común con vistas a mejorar el ajuste
a especificaciones dinámicas y rendimiento.
- Transformaciones
verticales: posibilidad de transformar programas en un lenguaje a programas
en otro lenguaje preservando la semántica con múltiples objetivos
(rendimiento, portabilidad, etc).
- Registrar diferentes
versiones de una misma entidad: especificación y programas en diferentes
estados de implementación (programas iniciales, programas finales
más eficientes, etc).
- Aspectos necesarios
como la documentación de diseño en el desarrollo del software.
- Estos mecanismos de
refinamiento permitirán no sólo obtener programas correctos
sino también cubrir aspectos no funcionales (ejemplo: rendimiento).
Metodología
y técnicas específicas
Elaboración de
la propuesta de utilización concurrente de métodos formales
y prototipos evolutivos.
Formalización de las propuestas de incremento de aspectos de Aseguramiento
de la Calidad en Proyectos de Software (realmente relevantes) en nuestro país.
Difusión de dichas propuestas en empresas / instituciones dedicadas
sistemáticamente a la producción de software.
Estudio sistemático de los resultados alcanzados.
Publicación de las conclusiones.