《新編程式設計方法學》是2004年浙江大學出版社出版的圖書，作者是陳海波、王申康。
基本介紹
- 書名：新編程式設計方法學
- 作者：陳海波、王申康
- ISBN：9787308036542
- 頁數：139
- 定價：￥18.00
- 出版社：浙江大學出版社
- 出版時間：2004-05-01
- 裝幀：平裝
- 開本：16
內容簡介,目錄,
內容簡介
《新編程式設計方法學》系統介紹了程式設計方法學的基本理論，結構化程式設計的原理、方法與實例，模組化程式設計的原理、方法和實例，面向對象程式設計方法的原理、方法和實例。
適用於計算機本科高年級學生、研究生作為教材使用，也可供計算機軟體研究和開發的科研工作者參考。
目錄
第一章 程式設計方法學簡介
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 面向對象程式設計實例
參考文獻
