基本信息
名稱： 軟體規約方法與Z語言
出版商： 河海大學出版社, 2000
圖書目錄
第一章 軟體規約方法和語言
·1.1 基礎知識
·1.2 規約方法
·1.3 規約語言
·
第二章 一階邏輯和集合論
·2.1 一階邏輯
·2.2 集合論
第三章 關係
·3.1 笛卡爾積和關係
·3.2 前域和值域
·3.3 關係的並
·3.4 關係的逆
·3.5 前域限制和前域反限
·3.6 值域限制和值域反限
·3.7 關係的像
·3.8 關係的合成
·3.9 關係閉包
·
第四章 模式與規約
·4.1 模式
·4.2 模式運算
·4.3 模式合成
·4.4 電話系統的規約
第五章 函式
·5.1 部分函式
·5.2 全函式
·5.3 有限函式
·5.4 內射函式
·5.5 滿射函式
·5.6 雙射函式
·5.7 函式作用
·5.8 函式重載
·5.9 λ-表示
·5.10 天氣預報的規約
第六章 序列
·6.1 基本思想
·6.2 序列的定義
·6.3 序列分解函式
·6.4 序列操作函式
·6.5 無窮序列
·
第七章 多重集合
·7.1 基本性質
·7.2 多重集合處理函式
·7.3 排序的規約
·7.4 售貨機的規約
第八章 自由類型
·8.1 證明序列
·8.2 規約
·8.3 自由類型的形式處理
·
第九章 形式證明
·9.1 命題演算
·9.2 謂詞演算
第十章 模式推理
·10.1 教室的規約
·10.2 模式和謂詞
·10.3 初始化證明
·10.4 規約理論的構造
·10.5 前置條件
·10.6 規約的完整性
·10.7 操作的精化
·
第十一章 具體化和分解
·11.1 基本概念
·11.2 用序列表示集合
·11.3 規約和設計
·11.4 設計的正確性
第十二章 路線規劃問題的規約
·12.1 路線規劃問題
·12.2 系統狀態空間
·12.3 相關操作
·
第十三章 圖書館問題的規約
·13.1 圖書館問題
·13.2 全局實體
·13.3 系統狀態
·13.4 相關操作
第十四章 Z語言的面向對象擴充
·14.1 面向對象基本概念
·14.2 四邊形的類結構
第十五章 Object-Z語言
·15.1 概述
·15.2 四邊形的規約
第十六章 OOZE語言
·16.1 概述
·16.2 四邊形的規約
附錄1 Z語法
附錄2 數學符號
附錄3 名詞注釋
