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
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".