程序設(shè)計方法學(xué)

內(nèi)容概要

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

書籍目錄

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

編輯推薦

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

圖書封面

圖書標(biāo)簽Tags

無

評論、評分、閱讀與下載

---

    程序設(shè)計方法學(xué) PDF格式下載

---