程序設計方法學

版　次：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節 形式規範的應用

參考文獻