Principal Resumen Descripcion Lineas Participantes Produccion Formacion Consultas
 
 

Volver

Métodos formales y Prototipos evolutivos

 

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.

 
 
 
 

Sitios de Interes

 
 
 
 
 
Principal Resumen Descripcion Lineas Participantes Produccion Formacion Consultas
 
Universidad Nacional de San Luis.