新編程序設(shè)計方法學

第一章程序設(shè)計方法學簡介
1.1 程序設(shè)計方法學的產(chǎn)生
1.2 程序設(shè)計方法學的基本內(nèi)容
第二章程序設(shè)計方法學的基本理論
2.1 結(jié)構(gòu)化定理
2.1.1 結(jié)構(gòu)化程序
2.1.2 結(jié)構(gòu)化定理
2.2 程序正確性證明
2.2.1 基本概念
2.2.2 部分正確性證明方法
2.2.3 終止性證明方法
2.3 抽象數(shù)據(jù)類型
2.3.1 基本概念
2.3.2 抽象數(shù)據(jù)類型的代數(shù)規(guī)范
第三章結(jié)構(gòu)化程序設(shè)計方法學
3.1 結(jié)構(gòu)化程序設(shè)計概述
3.2 結(jié)構(gòu)化程序設(shè)計
3.2.1 逐步求精
3.2.2 不變式程序設(shè)計
第四章面向?qū)ο蟪绦蛟O(shè)計方法學
4.1 面向?qū)ο蟪绦蚋攀?br />4.1.1 面向?qū)ο蠹夹g(shù)的產(chǎn)生與發(fā)展
4.1.2 面向?qū)ο蟪橄蟮脑?br />4.1.3 面向?qū)ο笥嬎愕哪Ｐ?br />4.2 可復(fù)用面向?qū)ο蟪绦蛟O(shè)計的基本原則
4.2.1 開閉原則（OCP）
4.2.2 里氏代換原則（LSP）
4.2.3 依賴倒轉(zhuǎn)原則（DIP）
4.2.4 迪米特法則（LOD）
4.2.5 單責任原則（SRP）
4.3 范型程序設(shè)計
4.3.1 基本概念
4.3.2 迭代子、函數(shù)對象和容器
4.3.3 實例
4.4 設(shè)計模式
4.4.1 基本概念
4.4.2 創(chuàng)建型模式
4.4.3 結(jié)構(gòu)型模式
4.4.4 行為型模式
4.5 面向?qū)ο蟪绦蛟O(shè)計實例
參考文獻