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

內(nèi)容概要

本書主要介紹程序設(shè)計(jì)方法學(xué)這一新興學(xué)科的主要內(nèi)容，即結(jié)構(gòu)化程序、程序正確性證明、結(jié)構(gòu)化程序的正確性證明、遞歸程序及其正確性證明、程序的形式推導(dǎo)技術(shù)、程序變換技術(shù)、面向?qū)ο蟮脑O(shè)計(jì)方法和大型程序設(shè)計(jì)方法學(xué)基礎(chǔ)等。
   本書可供大專院校計(jì)算機(jī)專業(yè)學(xué)生使用，也可供碩士研究生及從事計(jì)算機(jī)工作的科研人員參考。

書籍目錄

第1章 程序設(shè)計(jì)方法簡介  第1節(jié) 程序設(shè)計(jì)方法學(xué)的產(chǎn)生  第2節(jié) 結(jié)構(gòu)程序設(shè)計(jì)及其討論的一些主要問題  習(xí)題第2章 結(jié)構(gòu)化程序  第1節(jié) 什么是結(jié)構(gòu)化程序  第2節(jié) 結(jié)構(gòu)化定理  第3節(jié) 一些新的控制結(jié)構(gòu)  習(xí)題第3章 模塊化程序設(shè)計(jì)  第1節(jié) MODULA-2語言中的模塊化結(jié)構(gòu)  第2節(jié) ADA語言中的程序包  習(xí)題第4章 面向?qū)ο蟮某绦蛟O(shè)計(jì)方法  第1節(jié) 什么是面向?qū)ο蟮某绦蛟O(shè)計(jì)  第2節(jié) 應(yīng)用框架  第3節(jié) 設(shè)計(jì)模式  第4節(jié) 淺談面向?qū)ο笤O(shè)計(jì)語言  習(xí)題 第5章 程序正確性證明  第1節(jié) 概述  第2節(jié) 不變式斷言法  第3節(jié) 子目標(biāo)斷言法  第4節(jié) 公理化方法  第5節(jié) 良序集方法  第6節(jié) 計(jì)數(shù)器方法  習(xí)題第6章 結(jié)構(gòu)化程序的正確性證明  第1節(jié) 正確性定理  第2節(jié) 證明程序正確性的代數(shù)方法  第3節(jié) 產(chǎn)生循環(huán)不變式的一種方法  習(xí)題 第7章 遞歸程序及其正確性證明  第1節(jié) 迭代與遞歸  第2節(jié) 遞歸程序的一種模型  第3節(jié) 遞歸程序的正確性證明  習(xí)題 第8章 程序的形式推導(dǎo)技術(shù)  第1節(jié) 謂詞變換器及其性質(zhì)  第2節(jié) 面向目標(biāo)的程序推導(dǎo)  第3節(jié) 循環(huán)不變式的推導(dǎo)技術(shù)  習(xí)題第9章 程序變換技術(shù)  第1節(jié) 程序變換的基本思想和基本規(guī)則  第2節(jié) 程序生成階段  第3節(jié) 程序改進(jìn)階段（I）  第4節(jié) 程序改進(jìn)階段（II）  第5節(jié) 程序改進(jìn)階段（III）  第6節(jié) 程序變換研究中的若干問題  習(xí)題 第10章 大型程序設(shè)計(jì)方法學(xué)基礎(chǔ)  第1節(jié) 抽象數(shù)據(jù)類型的代數(shù)規(guī)范  第2節(jié) 抽象數(shù)據(jù)類型的形式化基礎(chǔ)  第3節(jié) 形式規(guī)范的應(yīng)用參考文獻(xiàn)

媒體關(guān)注與評論

書評程序設(shè)計(jì)方法學(xué)是20世紀(jì)60年代末到70年代初形成和發(fā)展起來的計(jì)算機(jī)科學(xué)領(lǐng)域中的一個新興學(xué)科。近年來，這一學(xué)科的發(fā)展比較迅速，取得了不少令人鼓舞的成果。為了介紹這一學(xué)科的一些基本內(nèi)容，我們在多年進(jìn)行這方面教學(xué)的基礎(chǔ)上編寫了這本教材。		  

圖書封面

圖書標(biāo)簽Tags

無

評論、評分、閱讀與下載

---

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

---