Diseño de Soluciones Abstractas mediante el Refinamiento de Especificaciones

J.M. Burgos , J. Galve, J. García, M. Sutil
Universidad Politécnica de Madrid
Área: Programación

Resumen

El contexto de la presente propuesta es la integración de metodos formales en la enseñanza de la programación. Aun cuando existe un amplio consenso sobre la importancia de las herramientas de descripción formal en el desarrollo de aplicaciones industriales, dicha necesidad no ha sido asumida con éxito en el curriculum de informática.

En este trabajo presentamos una metodología para la construcción de programas a partir de la especificación de los problemas. De esta manera, es la etapa de análisis donde se vertebra y organiza el conocimiento de programación que se quiere ofrecer al estudiante. El concepto de descripción precisa se incorpora gradualmente al proceso de aprendizaje: primero informalmente, a modo de documentación, y posteriormente como formalismo matemático basado en la lógica de predicados. La propuesta está particularmente enfocada a ofrecer un marco general de diseño abstracto de soluciones para problemas que manejan colecciones de datos; para ello, hemos hecho una adaptación comprensible de la técnica de diseño "decrece y vencerás".

Descarga

Ponencia completa en formato PDF