《程式設計方法學》是2003年國防工業出版社出版圖書出版的圖書，作者是胡正國，吳健，鄧正宏 。
基本介紹
- 書名：程式設計方法學
- 作者：胡正國，吳健，鄧正宏
- 出版社：國防工業出版社
- 出版時間：2003-1-1
圖書信息,內容簡介,圖書目錄,
圖書信息
版 次：1
頁 數：266
字 數：394000
印刷時間：2003-1-1
紙 張：膠版紙
I S B N：9787118029727
包 裝：平裝
內容簡介
本書主要介紹程式設計方法學這一新興學科的主要內容，即結構化程式、程式正確性證明、結構化程式的正確性證明、遞歸程式及其正確性證明、程式的形式推導技術、程式變換技術、面向對象的設計方法和大型程式設計方法學基礎等。
本書可供大專院校計算機專業學生使用，也可供碩士研究生及從事計算機工作的科研人員參考。
圖書目錄
第1章 程式設計方法簡介
第1節 程式設計方法學的產生
第2節 結構程式設計及其討論的一些主要問題
習題
第2章 結構化程式
第1節 什麼是結構化程式
第2節 結構化定理
第3節 一些新的控制結構
習題
第3章 模組化程式設計
第1節 MODULA-2語言中的模組化結構
第2節 ADA語言中的程式包
習題
第4章 面向對象的程式設計方法
第1節 什麼是面向對象的程式設計
第2節 套用框架
第3節 設計模式
第4節 淺談面向對象設計語言
習題
第5章 程式正確性證明
第1節 概述
第2節 不變式斷言法
第3節 子目標斷言法
第4節 公理化方法
第5節 良序集方法
第6節 計數器方法
習題
第6章 結構化程式的正確性證明
第1節 正確性定理
第2節 證明程式正確性的代數方法
第3節 產生循環不變式的一種方法
習題
第7章 遞歸程式及其正確性證明
第1節 疊代與遞歸
第2節 遞歸程式的一種模型
第3節 遞歸程式的正確性證明
習題
第8章 程式的形式推導技術
第1節 謂詞變換器及其性質
第2節 面向目標的程式推導
第3節 循環不變式的推導技術
習題
第9章 程式變換技術
第1節 程式變換的基本思想和基本規則
第2節 程式生成階段
第3節 程式改進階段（I）
第4節 程式改進階段（II）
第5節 程式改進階段（III）
第6節 程式變換研究中的若干問題
習題
第10章 大型程式設計方法學基礎
第1節 抽象數據類型的代數規範
第2節 抽象數據類型的形式化基礎
第3節 形式規範的套用
參考文獻
