1.1. Definición y propiedades.
Proceso clásico de desarrollo de programas.
- Especificación de requisitos del problema.
- Análisis del problema.
- Diseño de la solución.
- Implementación del diseño.
- Pruebas.
Refinamiento por pasos sucesivos.
- Escribir la estructura de la solución en pseudocódigo, de manera muy genérica.
- Especificar los pasos de forma cada vez más detallada, y precisa.
- Repetimos el refinamiento hasta llegar a una implementación.