B方法

內(nèi)容概要

　　 本書是有關(guān)B方法的最重要的著作，由B方法的發(fā)明人J-R Abrial撰寫。B方法是目前國際上最受重視的實(shí)用性軟件形式化方法之一，人們用它編寫軟件系統(tǒng)規(guī)范，進(jìn)行系統(tǒng)設(shè)計和編程。B方法已被用在一些極其重要的軟件項(xiàng)目中并取得了很大成功。本書由4部分組成，內(nèi)容涵蓋了B方法的所有方面，這些部分分別介紹B方法所用的數(shù)學(xué)基礎(chǔ)，用B方法描述軟件系統(tǒng)規(guī)范的語言記法，基本程序結(jié)構(gòu)和程序?qū)嵗?，系統(tǒng)模塊化、分層設(shè)計和精化。本書適用于計算機(jī)科學(xué)工作者、軟件系統(tǒng)開發(fā)工作者和計算機(jī)專業(yè)的學(xué)生，可作為高校有關(guān)軟件形式化方法和軟件系統(tǒng)設(shè)計課程的教材，或者作為B方法的標(biāo)準(zhǔn)參考手冊。

作者簡介

J-R Abrial，世界著名的計算機(jī)科學(xué)家，是對軟件形式化方法及其應(yīng)用做出了最重要貢獻(xiàn)的人物之一。他從20世紀(jì)70年代開始研究數(shù)據(jù)結(jié)構(gòu)的程序的形式化規(guī)范問題，20世紀(jì)70年代后期在牛津大學(xué)程序設(shè)計研究組（PRG）訪問期間完成了有關(guān)形式化規(guī)范語言Z的開創(chuàng)性工作。為了將形式

書籍目錄

第一部分 數(shù)學(xué)  第1章	數(shù)學(xué)推理  第2章	集合形式  第3章	數(shù)學(xué)對象第二部分 抽象機(jī)  第4章	抽象機(jī)引論  第5章	抽象機(jī)的定義  第6章	抽象機(jī)理論  第7章	大型抽象機(jī)  第8章	抽象機(jī)的實(shí)例第三部分 程序設(shè)計  第9章	順序和循環(huán)  第10章	程序設(shè)計實(shí)例第四部分 精化  第11章	精化  第12章	構(gòu)造大型抽象機(jī)  第13章	精化的實(shí)例附錄  附錄A 記法綜述  附錄B 語法  附錄C 定義  附錄D 可見性規(guī)則  附錄E 規(guī)則和公理  附錄F 證明義務(wù)

圖書封面

圖書標(biāo)簽Tags

無

評論、評分、閱讀與下載

---

    B方法 PDF格式下載

---