514程序设计发展概况 Dijkstra还提出了结构化程序设计思想、概念和标准,希望通过程 序静态结构的良好性来保证程序的正确性,并提出了“程序测试只能 发现程序中的错误而不能保证程序无错误”的科学论断。 同时, Wirth也提出了自顶向下、逐步求精的程序设计方法,将 个复杂的问题分解成若干个相互独立的、简单的模块,再将模块分 解成更简单的子模块,直到所有问题能用程序设计语言简单方便地解 决。采用这种程序设计方法,能有效地控制程序设计的复杂性,有益 于提高程序设计的效率 20世纪80年代, Gries综合了各种程序设计理论和方法的成果,完 成了“ The Science of Programming书,首次把程序设计从经验、技 巧上升为科学,使程序设计从此步入了科学的轨道华南热带农业大学 ·计算机系 李怀成 5.1.4 程序设计发展概况 Dijkstra还提出了结构化程序设计思想、概念和标准，希望通过程 序静态结构的良好性来保证程序的正确性，并提出了“程序测试只能 发现程序中的错误而不能保证程序无错误”的科学论断。 同时，Wirth也提出了自顶向下、逐步求精的程序设计方法，将 一个复杂的问题分解成若干个相互独立的、简单的模块，再将模块分 解成更简单的子模块，直到所有问题能用程序设计语言简单方便地解 决。采用这种程序设计方法，能有效地控制程序设计的复杂性，有益 于提高程序设计的效率。 20世纪80年代，Gries综合了各种程序设计理论和方法的成果，完 成了“The Science of Programming”一书，首次把程序设计从经验、技 巧上升为科学，使程序设计从此步入了科学的轨道