Structured Programming Goal: mastering complexity Dijkstra, Hoare, Wirth Construction of correct programs requires that programs be intellectually manageable Key to intellectual manageability is the structure of the program itself Disciplined use of a few program building blocks facilitates correctness argumentsStructured Programming Goal: mastering complexity Dijkstra, Hoare, Wirth: Construction of correct programs requires that programs be intellectually manageable Key to intellectual manageability is the structure of the program itself. Disciplined use of a few program building blocks facilitates correctness arguments. Copyright c Nancy Leveson, Sept. 1999 �