程序設計方法學

內(nèi)容概要

　　程序設計方法學這一新興學科的主要內(nèi)容，即結(jié)構(gòu)化程序、程序正確性證明、結(jié)構(gòu)化程序的正確性證明、遞歸程序及其正確性證明、程序的形式推導技術、程序變換技術、面向?qū)ο蟮脑O計方法和大型程序設計方法學基礎等。

書籍目錄

第1章 程序設計方法學簡介1.1 程序設計方法學的產(chǎn)生1.2 結(jié)構(gòu)程序設計及其討論的一些主要問題習題第2章 結(jié)構(gòu)化程序2.1 什么是結(jié)構(gòu)化程序2.2 結(jié)構(gòu)化定理2.3 一些新的控制結(jié)構(gòu)習題第3章 模塊化程序設計3.1 MODULA-2語言中的模塊化結(jié)構(gòu)3.2 ADA語言中的程序包習題第4章 面向?qū)ο蟮某绦蛟O計方法4.1 什么是面向?qū)ο蟮某绦蛟O計4.2 應用框架4.3 設計模式4.4 淺談面向?qū)ο笤O計語言習題第5章 程序正確性證明5.1 概述5.2 不變式斷言法5.3 子目標斷言法5.4 公理化方法5.5 良序集方法5.6 計數(shù)器方法習題第6章 結(jié)構(gòu)化程序的正確性證明6.1 正確性定理6.2 證明程序正確性的代數(shù)方法6.3 產(chǎn)生循環(huán)不變式的一種方法習題第7章 遞歸程序及其正確性證明7.1 迭代與遞歸7.2 遞歸程序的一種模型7.3 遞歸程序的正確性證明習題第8章 程序的形式推導技術8.1 謂詞變換器及其性質(zhì)8.2 面向目標的程序推導8.3 循環(huán)不變式的推導技術習題第9章 程序變換技術9.1 程序變換的基本思想和基本規(guī)則9.2 程序生成階段9.3 程序改進階段(Ⅰ)9.4 程序改進階段(Ⅱ)9.5 程序改進階段(Ⅲ)9.6 程序變換研究中的若干問題習題第10章 大型程序設計方法學基礎10.1 抽象數(shù)據(jù)類型的代數(shù)規(guī)范10.2 抽象數(shù)據(jù)類型的形式化基礎10.3 形式規(guī)范的應用參考文獻

編輯推薦

《程序設計方法學(第2版)》可供大專院校計算機專業(yè)學生使用，也可供碩士研究生及從事計算機工作的科研人員參考。

圖書封面

圖書標簽Tags

無

評論、評分、閱讀與下載

---

    程序設計方法學 PDF格式下載

---