B方法

內(nèi)容概要

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

作者簡(jiǎn)介

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

書(shū)籍目錄

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

圖書(shū)封面

圖書(shū)標(biāo)簽Tags

無(wú)

評(píng)論、評(píng)分、閱讀與下載

---

    B方法 PDF格式下載

---