軟件形式規(guī)格說(shuō)明語(yǔ)言—Z

定　價(jià)：￥34.50

作　者：	繆淮扣等編著
出版社：	清華大學(xué)出版社
叢編項(xiàng)：	軟件工程專(zhuān)業(yè)核心課程系列教材
標(biāo)　簽：	計(jì)算機(jī)

購(gòu)買(mǎi)這本書(shū)可以去

ISBN：	9787302292777	出版時(shí)間：	2012-11-01	包裝：	平裝
開(kāi)本：	16開(kāi)	頁(yè)數(shù)：	299	字?jǐn)?shù)：

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

　　形式方法是一種基于數(shù)學(xué)的軟件開(kāi)發(fā)方法。形式規(guī)格說(shuō)明是形式方法最基本的部分，它精確描述用戶(hù)需求和計(jì)算機(jī)軟件系統(tǒng)的功能，并用于軟件驗(yàn)證和精化。z是目前頗受歡迎且使用較廣泛的一種形式規(guī)格說(shuō)明語(yǔ)言。本書(shū)旨在討論軟件工程中形式方法的概念、方法和表示法，并詳細(xì)介紹z的類(lèi)型系統(tǒng)、數(shù)學(xué)語(yǔ)言和公理定義、通用式定義、模式等結(jié)構(gòu)，還討論了z規(guī)格說(shuō)明的推理和求精方法。本書(shū)還介紹了面向?qū)ο蟮囊?guī)格說(shuō)明語(yǔ)言object—z和其他形式方法表示和工具。全書(shū)結(jié)構(gòu)合理、內(nèi)容豐富、實(shí)例詳盡多樣。各章配有習(xí)題?！盾浖问揭?guī)格說(shuō)明語(yǔ)言—z》可作為計(jì)算機(jī)、軟件工程、信息安全和信息管理等專(zhuān)業(yè)本科生和研究生的教材，也可作為大專(zhuān)院校有關(guān)專(zhuān)業(yè)的教師參考書(shū)，還可作為從事軟件工程、軟件開(kāi)發(fā)和軟件應(yīng)用的研究人員和技術(shù)人員的參考資料。

作者簡(jiǎn)介

暫缺《軟件形式規(guī)格說(shuō)明語(yǔ)言—Z》作者簡(jiǎn)介

圖書(shū)目錄

第1章　緒論
1．1軟件生命周期
1．2存在的問(wèn)題
1．3形式方法
1．4形式規(guī)格說(shuō)明語(yǔ)言z
小結(jié)
習(xí)題第2章　一階邏輯與集合論
2．1命題邏輯
2．2謂詞邏輯
2．3一階邏輯中的證明
2．4集合論
小結(jié)
習(xí)題第3章　z的類(lèi)型與構(gòu)造單元
3．1z的類(lèi)型系統(tǒng)
3．2擴(kuò)充表示法
3．3z規(guī)格說(shuō)明的構(gòu)造單元
小結(jié)
習(xí)題第4章　關(guān)系和函數(shù)
4．1關(guān)系
4．2關(guān)系的運(yùn)算
4．3函數(shù)
小結(jié)
習(xí)題第5章　模式和規(guī)格說(shuō)明
5．1模式的描述功能
5．2模式的修飾和包含
5．3模式運(yùn)算
5．4模式類(lèi)型和通用模式
5．5規(guī)格說(shuō)明文檔的結(jié)構(gòu)
小結(jié)
習(xí)題第6章　序列和包
6．1序列
6．2包
小結(jié)
習(xí)題第7章　規(guī)格說(shuō)明的實(shí)例
7．1簡(jiǎn)介
7．2存儲(chǔ)分配管理
7．3圖書(shū)館數(shù)據(jù)庫(kù)管理實(shí)例
7．4自由類(lèi)型的應(yīng)用——命題邏輯證明器的規(guī)格說(shuō)明
小結(jié)
習(xí)題第8章　z規(guī)格說(shuō)明的形式推理
8．1問(wèn)題的提出和有關(guān)的概念
8．2關(guān)于嚴(yán)密證明
8．3一個(gè)定律庫(kù)
8．4關(guān)于規(guī)格說(shuō)明的推理
小結(jié)
習(xí)題第9章　z規(guī)格說(shuō)明的若干推理實(shí)例
9．1兩個(gè)初始化定理的證明
9．2兩個(gè)前置條件的簡(jiǎn)化
9．3規(guī)格說(shuō)明中一般定理的證明
小結(jié)
習(xí)題第10章　從規(guī)格說(shuō)明到程序
10．1程序范疇與軟件精化
10．2z規(guī)格說(shuō)明的精化原則
10．3精化演算
10．4z的精化演算方法
10．5實(shí)例研究
小結(jié)
習(xí)題第11章　object-z規(guī)格說(shuō)明語(yǔ)言
11．1為何需要面向?qū)ο蟮膠
11．2object—z語(yǔ)言簡(jiǎn)介
11．3操作
11．4分布運(yùn)算符
11．5遞歸定義
11．6繼承
11．7對(duì)象包含
11．8多態(tài)性
11．9類(lèi)合并
11．10self常量
11．11object—z語(yǔ)言的工具支持
11．12object—z實(shí)例研究：銀行系統(tǒng)
小結(jié)
習(xí)題第12章　形式方法及其工具
12．1z規(guī)格說(shuō)明語(yǔ)言支撐工具
12．2其他形式方法工具
12．3其他形式方法及規(guī)格說(shuō)明語(yǔ)言
小結(jié)
習(xí)題附錄az語(yǔ)法
附錄bz語(yǔ)言術(shù)語(yǔ)
附錄cobject-z語(yǔ)法
c．1表示法
c．2縮寫(xiě)
c．3產(chǎn)生式
附錄d部分習(xí)題解答
參考文獻(xiàn)