Z形式規(guī)約的自動(dòng)求精研究

定　價(jià)：￥26.00

作　者：	王宏生著
出版社：	國(guó)防工業(yè)出版社
叢編項(xiàng)：
標(biāo)　簽：	軟件工程/開發(fā)項(xiàng)目管理

購(gòu)買這本書可以去

ISBN：	9787118060447	出版時(shí)間：	2009-01-01	包裝：	平裝
開本：	大32開	頁(yè)數(shù)：	231	字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

　　《Z形式規(guī)約的自動(dòng)求精研究》敘述簡(jiǎn)明清晰，邏輯性強(qiáng)，可作為高等學(xué)校相關(guān)專業(yè)研究生和從事形式語(yǔ)言研究、大型軟件形式化開發(fā)與應(yīng)用的專業(yè)人員參考。 Z形式規(guī)約是一種世界上廣泛使用的軟件規(guī)格說(shuō)明語(yǔ)言，在軟件開發(fā)的需求規(guī)格說(shuō)明階段和軟件設(shè)計(jì)階段都可以使用，對(duì)于提高大型軟件質(zhì)量、驗(yàn)證軟件設(shè)計(jì)正確性等方面具有非常重要的意義。由于Z是以集合論和一階邏輯為基礎(chǔ)，是設(shè)計(jì)用來(lái)給人看的而不能由機(jī)器執(zhí)行。將Z轉(zhuǎn)換成高級(jí)語(yǔ)言需要專業(yè)的數(shù)學(xué)知識(shí)，而且對(duì)于大型軟件，轉(zhuǎn)換過(guò)程極易出錯(cuò)。Z的機(jī)器可執(zhí)行性已經(jīng)引起世界范圍的關(guān)注，但目前還不能直接從Z語(yǔ)言自動(dòng)生成應(yīng)用程序，Z到可執(zhí)行代碼的轉(zhuǎn)換主要由人工完成。《Z形式規(guī)約的自動(dòng)求精研究》指出了Z語(yǔ)言求精方法對(duì)于自動(dòng)生成應(yīng)用程序的不足，提出了對(duì)Z規(guī)格說(shuō)明做一定限制后的Smart Z自動(dòng)求精為C++和STL方法。

作者簡(jiǎn)介

暫缺《Z形式規(guī)約的自動(dòng)求精研究》作者簡(jiǎn)介

圖書目錄

第1章 Z形式規(guī)約
1.1 軟件開發(fā)的形式化方法
1.2 Z形式規(guī)約的類型
1.3 Z形式規(guī)約的構(gòu)造單元
1.4 Z形式規(guī)約的關(guān)系和函數(shù)
1.5 Z形式規(guī)約求精技術(shù)
第2章 ++標(biāo)準(zhǔn)模板庫(kù)STL
　2.1 STL簡(jiǎn)介
　2.2 STL基本結(jié)構(gòu)
　2.3 容器
　2.4 迭代器
　2.5 算法
　2.6 其他組件
第3章 Z形式規(guī)約的精簡(jiǎn)—Smart Z
　3.1 概述
　3.2 Z形式規(guī)約的類型約束
　3.3 Z形式規(guī)約的謂詞約束
　3.4 Z形式規(guī)約的精簡(jiǎn)
第4章 Smart Z的自動(dòng)求精
　4.1 Smart Z的詞法分析
　4.2 Smart Z的語(yǔ)法分析
　4.3 Smart Z的語(yǔ)義分析
　4.4 Smart Z的自動(dòng)求精轉(zhuǎn)換器
第5章一階邏輯算子的自動(dòng)求精
　5.1 一階邏輯
　5.2 一階邏輯算子的自動(dòng)求精步驟
　5.3 表達(dá)式處理
　5.4 Smart Z的量詞與連接詞的自動(dòng)求精
　5.5 一階邏輯算子的目標(biāo)代碼生成
　5.6 一個(gè)模式求精實(shí)例
第6章集合論算子的自動(dòng)求精
　6.1 集合類型的聲明
　6.2 目標(biāo)代碼中的集合操作
　6.3 集合論算子到中間代碼的轉(zhuǎn)換
　6.4 采用模板及重載技術(shù)設(shè)計(jì)Smart Z中集合論算子的求精
　6.5 集合論算子自動(dòng)求精實(shí)例
第7章冪集算子的自動(dòng)求精
　7.1 冪集類型
　7.2 廣義表
　7.3 單層冪集的自動(dòng)求精
　7.4 多層嵌套冪集的自動(dòng)求精
　7.5 冪集的自動(dòng)求精實(shí)例
第8章笛卡兒積的自動(dòng)求精
　8.1 笛卡兒積的聲明
　8.2 笛卡兒積的數(shù)據(jù)求精
　8.3 笛卡兒積的過(guò)程求精48
　8.4 笛卡兒積的自動(dòng)求精實(shí)例
第9章關(guān)系和函數(shù)的自動(dòng)求精
　9.1 序偶與關(guān)系
　9.2 關(guān)系操作與自動(dòng)求精
　9.3 函數(shù)操作與自動(dòng)求精
第10章序列和包的自動(dòng)求精
　10.1 序列和包
　10.2 序列操作的自動(dòng)求精
　10.3 包操作的自動(dòng)求精
　10.4 序列和包的自動(dòng)求精實(shí)例
附錄1 Z語(yǔ)法
附錄2 Smart Z詞法
附錄3 Smart Z的詞法
附錄4 Smart Z語(yǔ)法
附錄5 Smart Z語(yǔ)法的部分SI-NS圖
附錄6 部分Smart Z算子的函數(shù)模板
參考文獻(xiàn)