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

內(nèi)容概要

　　形式方法是一種基于數(shù)學(xué)的軟件開(kāi)發(fā)方法。形式規(guī)格說(shuō)明是形式方法最基本的部分，它精確描述用戶需求和計(jì)算機(jī)軟件系統(tǒng)的功能，并用于軟件驗(yàn)證和精化。z是目前頗受歡迎且使用較廣泛的一種形式規(guī)格說(shuō)明語(yǔ)言。本書(shū)旨在討論軟件工程中形式方法的概念、方法和表示法，并詳細(xì)介紹z的類型系統(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ī)、軟件工程、信息安全和信息管理等專業(yè)本科生和研究生的教材，也可作為大專院校有關(guān)專業(yè)的教師參考書(shū)，還可作為從事軟件工程、軟件開(kāi)發(fā)和軟件應(yīng)用的研究人員和技術(shù)人員的參考資料。

書(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的類型與構(gòu)造單元
3．1z的類型系統(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模式類型和通用模式
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自由類型的應(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類合并
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)

編輯推薦

　　《普通高等教育“十一五”國(guó)家級(jí)規(guī)劃教材·軟件工程專業(yè)核心課程系列教材：軟件形式規(guī)格說(shuō)明語(yǔ)言Z》具有以下特點(diǎn)：　　1 教育部高等學(xué)校軟件工程專業(yè)教學(xué)指導(dǎo)分委員會(huì)推薦教材?！　? 根據(jù)教育部“軟件工程課程體系研究”項(xiàng)目成果《中國(guó)軟件工程學(xué)科教程》及專業(yè)規(guī)范組織編寫(xiě)?！　? 與最新ACM和IEEE CCSE同步。　　4 匯集示范性軟件工程專業(yè)教學(xué)成果。

圖書(shū)封面

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

---

    軟件形式規(guī)格說(shuō)明語(yǔ)言 PDF格式下載

---