国产第1页_91在线亚洲_中文字幕成人_99久久久久久_五月宗合网_久久久久国产一区二区三区四区

讀書月攻略拿走直接抄!
歡迎光臨中圖網 請 | 注冊
> >
軟件工程形式化方法與語言

包郵 軟件工程形式化方法與語言

出版社:浙江大學出版社出版時間:2010-03-01
開本: 16開 頁數: 200
中 圖 價:¥25.7(8.9折) 定價  ¥29.0 登錄后可看到會員價
加入購物車 收藏
開年大促, 全場包郵
?新疆、西藏除外
本類五星書更多>

軟件工程形式化方法與語言 版權信息

軟件工程形式化方法與語言 本書特色

本書選取并介紹了三種代表性的形式化方法,它們分別是以集合論和一階謂詞演算為基礎的Z語言,以時態邏輯為基礎的XYZ,還有以直覺數學學派為基礎的類型理論。 本書既可以作為計算機專業的研究生的形式化課程教材,又可以用作專業人員的參考書。雖然真正從事形式化方面的工作的人員不多,但是有必要通過對該課程的學習,使學生在理論、技術和方法上都得到了系統而有效的訓練,有利于提高軟件人員的素質和能力。

軟件工程形式化方法與語言 內容簡介

本書選取并介紹了三種代表性的形式化方法,它們分別是以集合論和一階謂詞演算為基礎的z語言,以時態邏輯為基礎的xyz,還有以直覺數學學派為基礎的類型理論。
本書既可以作為計算機專業的研究生的形式化課程教材,又可以用作專業人員的參考書。雖然真正從事形式化方面的工作的人員不多,但是有必要通過對該課程的學習,使學生在理論、技術和方法上都得到了系統而有效的訓練,有利于提高軟件人員的素質和能力。

軟件工程形式化方法與語言 目錄

第1章 引論
1.1 軟件工程
1.2 軟件生存期
1.3 早期工作的重要性
1.4 規格說明及其形式化
1.5 一些重要的形式化規格說明語言
1.6 關于本書使用的z語言
第2章 命題邏輯
2.1 命題
2.2 合取
2.3 析取
2.4 蘊含
2.5 等價
2.6 否定
2.7 永真式與矛盾式
第3章 謂詞邏輯
3.1 謂詞演算
3.2 量詞與作用域
3.3 代換
3.4 全稱量詞的引入與消去
3.5 存在量詞的引入與消去
第4章 相等與確定性的描述
4.1 相等性
4.2 一點規則
4.3 數量概念的表達與唯一量詞
4.4 對象的確定性描述
第5章 集合
5.1 集合及其定義方法
5.1.1 集合的枚舉定義法
5.1.2 集合理解定義一利用謂詞定義集合
5.2 冪集
5.3 笛卡兒積
5.4 并集、交集和差集
5.5 類型
第6章 對象的定義
6.1 聲明
6.2 省略法定義
6.3 公理定義
6.4 類屬定義
第7章 關系
7.1 聲明
7.2 定義域和值域
7.3 關系上的操作
7.3.1 限制與縮減
7.3.2 關系求逆
7.3.3 關系的復合
7.3.4 關系的閉包
7.3.5 關系的映象(image)
第8章 函數
8.1 偏函數和全函數
8.2 函數的λ表示法
8.3 內射、滿射與雙射
8.4 有限函數
8.5 函數性質小結
8.6 函數上的操作
第9章 序列
9.1 序列的有關概念
9.2 序列的形式化定義
9.3 序列上的操作
9.4 序列上的函數
9.5 結構歸納法
9.6 袋
第10章 遞歸定義的類型
10.1 從自然數的定義談起
10.2 遞歸定義的類型
10.3 原始遞歸
第11章 構型(schema)與規格說明的結構化
11.1 構型的表示記號
11.2 一個應用例子的非形式描述
11.3 描述抽象狀態的構型
11.4 描述操作的構型
11.5 作為聲明使用的構型
11.6 作為謂詞使用的構型
11.7 重命名
11.8 類屬構型
11.9 構型演算
11.9.1 構型的包含
11.9.2 構型的修飾
11.9.3 構型的析取運算
11.9.4 構型的合取運算
11.9.5 構型的否定運算
11.9.6 構型的隱藏運算
11.9.7 構型的復合運算
11.9.8 構型的前置條件
11.10 規格說明的提升方法
11.10.1 幾個操作分解的簡單例子
第12章 一個規格說明的實例——文件系統
12.1 非形式的描述——程序設計接口
12.2 文件上的操作的形式描述
12.3 文件系統的形式化規格說明
12.4 形式化分析與推理
第13章 數據求精理論
13.1 什么是求精
13.2 關系的求精
13.3 關系求精的進一步討論
13.4 相同狀態上的操作的求精
13.5 數據類型與數據求精
13.6 模擬關系與數據求精
13.7 模擬條件的寬松與解開
第14章 操作求精
14.1 關系與操作構型
14.2 向前模擬
14.3 向后模擬
第15章 類型理論
15.1 預備知識
15.1.1 命題和集合
15.1.2 表達式理論
15.1.3 martin-lof類型理論
15.2 多型集合
15.2.1 基本規則
15.2.2 集合族的笛氏積和不交和
15.2.3 兩個集合的笛氏積和不交和
15.2.4 各種集合
15.2.5 相等性集合
15.2.6 小集合之集合
15.2.7 良序
15.2.8 一般樹
15.3 子集合
15.3.1 子集合一般理論
15.3.2 命題常元
15.4 單型集合
15.4.1 類型
15.4.2 類型對集合的定義
第16章 時序邏輯
16.1 xyz系統簡介
16.2 時序邏輯語言xyz/e的基礎部分
16.2.1 基本概念
16.2.2 狀態轉換與單元
16.2.3 三種不同形式的控制結構
16.2.4 horn子句語言xyz/pe0
16.2.5 指針
16.3 時序邏輯語言xyz/e的基層模塊
16.3.1 程序框架
16.3.2 過程與函數
16.3.3 包塊
16.4 時序邏輯語言xyz/e的并發成分
16.4.1 進程與并行語句
16.4.2 通信
展開全部

軟件工程形式化方法與語言 節選

《軟件工程形式化方法與語言》選取并介紹了三種代表性的形式化方法,它們分別是以集合論和一階謂詞演算為基礎的Z語言,以時態邏輯為基礎的XYZ,還有以直覺數學學派為基礎的類型理論。《軟件工程形式化方法與語言》既可以作為計算機專業的研究生的形式化課程教材,又可以用作專業人員的參考書。雖然真正從事形式化方面的工作的人員不多,但是有必要通過對該課程的學習,使學生在理論、技術和方法上都得到了系統而有效的訓練,有利于提高軟件人員的素質和能力。

商品評論(0條)
暫無評論……
書友推薦
本類暢銷
返回頂部
中圖網
在線客服
主站蜘蛛池模板: 在线免费亚洲 | 日韩乱轮 | 欧美激情亚洲精品日韩1区2区 | 四虎影视紧急入口地址大全 | 美女狂揉尿口揉到失禁 | 麻豆一区二区三区蜜桃免费 | 欧美va视频 | 天天拍天天干天天操 | 欧美中出在线 | 国产成人亚洲精品乱码在线观看 | 午夜影院一级片 | 亚洲无日韩码精品 | 老外的一级大黄色毛片 | 欧洲熟妇精品视频 | 米奇影院888奇米色99在线 | 日韩欧美一二区 | 亚洲精品一区二区不卡 | 欧美老妇激情bbbwwbbw | 国产偷自视频区视频 | 91在线 | 亚洲 | 国产精品大白天新婚身材 | 韩国免费一级成人毛片 | 99国产精品无码 | 大肉大捧一进一出好爽视频 | 人妻丰满熟妇aⅴ无码 | 女人喷液抽搐高潮视频 | 日本免费人成黄页网观看视频 | 美女国产在线 | 香蕉精品在线 | 午夜看片影院在线观看 | 91精品国产91久久久久青草 | 国产亚洲综合一区二区三区 | 四虎成人精品无码永久在线 | 影音先锋5566夜色资源网 | 黄色一级图片 | 久久机热一这里只精品 | 国产午夜精品av一区二区 | 夜夜骑夜夜操 | 成人福利网址永久在线观看 | 不卡一区二区在线 | 久久精品无码鲁网中文电影 |