程式設計方法學，浙江大學出版社出版。
目錄
第一章程式設計方法學簡介
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 抽象資料類型
2.3.1 基本概念
2.3.2 抽象資料型態的代數規範
第三章結構化程式設計方法學
3.1 結構化程式設計概述
3.2 結構化程式設計
3.2.1 逐步求精
3.2.2 不變式程式設計
第四章物件導向程式設計方法學
4.1 物件導向程序概述
4.1.1 物件導向技術的產生與發展
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 迭代子、函數物件與容器
4.3.3 實例
4.4 設計模式
4.4.1 基本概念
4.4.2 創建型模式
4.4.3 結構型模式
4.4.4 行為型模式
4.5 物件導向程式設計實例參考文獻
……
展開
