Algoritmos y Programación en Pascal

Capítulo 7
Programación estructurada
7.1 Introducción . . . . . . . . . . . . . . . . . . . . . . . . . . 123
7.2 Aspectos teóricos . . . . . . . . . . . . . . . . . . . . . . . 125
7.3 Aspectos metodológicos . . . . . . . . . . . . . . . . . . 139
7.4 Refinamiento correcto de programas . . . . . . . . . . 146
7.5 Conclusión . . . . . . . . . . . . . . . . . . . . . . . . . . . 151
7.6 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . 151
7.7 Referencias bibliográficas . . . . . . . . . . . . . . . . . . 153
En este capítulo se explican los aspectos necesarios para aplicar de una forma
adecuada las instrucciones estructuradas presentadas en el capítulo anterior, de
forma que los programas obtenidos sean claros, correctos y eficientes. En particular,
se presentan los resultados teóricos que fundamentan la programación
estructurada, y la metodología que permite la construcción de programas según
este estilo de programación.
7.1 Introducción
Durante la corta historia de los computadores, el modo de programar ha
sufrido grandes cambios. La programación era en sus comienzos todo un arte
(esencialmente cuestión de inspiración); posteriormente diversas investigaciones
teóricas han dado lugar a una serie de principios generales que permiten conformar
el núcleo de conocimientos de una metodología de la programación. Ésta