[程序设计方法学]

【程序设计方法学】.pdf011/3744 1前言 随着计算机的迅速发展,用户与机器速度以及 内存的矛盾逐步趋向缓和。一个优秀的合格程序设 计人员已不再拘泥于追求省几条指令,压缩有限空 间或提高一点可怜的速度,相反是在,从而使自己 的创造性作品获得好结构的风格.今天计算机,而结构。人们对程序的要求已逐渐转向 易读易写和结构简明易懂(即所谓的好结构)程 序,程序的正确性也得到了高度重视。因此,介绍 和学习。目 第一章 引论 s1 序设计概念 习 题 第二章 程序的控制结构 S2 基本控制结构 S2 goto语句 S2 过程与函数 区 题 第三章 程序的正确性证明 ≤3 程序的测试 ≤3 Flovd-Hoarc规则公理方法 S3 Dijkstra最弱前置条件方法 习 题 第四章 数据类型与抽象 S4.
———— 文字由OCR识别(未校验)，可能存在错字；请以原始完整版为准。