La técnica de programación estructurada de Warnier, comenzó a ser utilizada de forma significativa, a partir de mediados de los años 70. A lo largo de dicha década, se dedicó a asentar firmemente los conceptos de su metodología, en la que mostraba una primacía de los aspectos lógicos frente a los técnicos, lo que proporciona una mayor estabilidad a la resolución de los problemas, al no depender la solución de los mismos, del nivel tecnológico de cada momento. La lógica de resolución de los problemas, de tipo jerárquico (top-down) concluye su desarrollo, en el punto soportado por la tecnología en ese momento,
En este libro se han subsanado una serie de lagunas existentes en la metodología y asimismo se incorporan las herramientas matemáticas base del desarrollo automatizado de algunos pasos de la metodología.
U15070