Principal Resumen Descripcion Linea Participante 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 Linea Participante Produccion Formacion Apuntes Evaluacion Consultas
 
Universidad Nacional de San Luis.