新編程序設計方法學

第一章程序設計方法學簡介
1.1 程序設計方法學的產生
1.2 程序設計方法學的基本內容
第二章程序設計方法學的基本理論
2.1 結構化定理
2.1.1 結構化程序
2.1.2 結構化定理
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ī)范
第三章結構化程序設計方法學
3.1 結構化程序設計概述
3.2 結構化程序設計
3.2.1 逐步求精
3.2.2 不變式程序設計
第四章面向對象程序設計方法學
4.1 面向對象程序概述
4.1.1 面向對象技術的產生與發(fā)展
4.1.2 面向對象抽象的原理
4.1.3 面向對象計算的模型
4.2 可復用面向對象程序設計的基本原則
4.2.1 開閉原則（OCP）
4.2.2 里氏代換原則（LSP）
4.2.3 依賴倒轉原則（DIP）
4.2.4 迪米特法則（LOD）
4.2.5 單責任原則（SRP）
4.3 范型程序設計
4.3.1 基本概念
4.3.2 迭代子、函數(shù)對象和容器
4.3.3 實例
4.4 設計模式
4.4.1 基本概念
4.4.2 創(chuàng)建型模式
4.4.3 結構型模式
4.4.4 行為型模式
4.5 面向對象程序設計實例
參考文獻