軟件語(yǔ)言及其實(shí)現(xiàn)

第一章 引言
1.1 軟件語(yǔ)言含義
1.1.1 語(yǔ)言
1.1.2 軟件
1.1.3 軟件語(yǔ)言
1.2 軟件語(yǔ)言作用
1.2.1 描述作用
1.2.2 交流作用
1.2.3 標(biāo)志作用
1.3 軟件語(yǔ)言級(jí)別
1.3.1 需求級(jí)語(yǔ)言
1.3.2 功能級(jí)語(yǔ)言
1.3.3 設(shè)計(jì)級(jí)語(yǔ)言
1.3.4 實(shí)現(xiàn)級(jí)語(yǔ)言
1.4 軟件語(yǔ)言發(fā)展
1.4.1 低抽象級(jí)到高抽象級(jí)
1.4.2 順序語(yǔ)言到井發(fā)（并行）語(yǔ)言
1.4.3 單機(jī)語(yǔ)言到網(wǎng)絡(luò)語(yǔ)言
1.5 本書(shū)內(nèi)容與體式
1.5.1 取材以作者工作為基礎(chǔ)
1.5.2 組織按語(yǔ)言級(jí)別分篇
1.5.3 內(nèi)容側(cè)重語(yǔ)言，兼及實(shí)現(xiàn)
需求級(jí)語(yǔ)言篇
第二章 軟件需求分析概述
2.1 軟件需求分析含義
2.2 軟件需求定義（規(guī)約）
2.2.1 含義
2.2.2 內(nèi)容
2.2.3 目的
2.2.4 使用
2.2.5 現(xiàn)狀
2.3 軟件需求定義語(yǔ)言
2.3.1 定義
2.3.2 研究?jī)?nèi)容
第三章 軟件需求定義語(yǔ)言NDRDL
3.1 設(shè)計(jì)目標(biāo)
3.1.1 實(shí)用性佳
3.1.2 表述力強(qiáng)
3.1.3 易讀性好
3.1.4 嚴(yán)謹(jǐn)性病
3.2 設(shè)計(jì)原則
3.2.1 基于功能分解風(fēng)范與結(jié)構(gòu)化方法
3.2.2 功能需求與非功能需求兼顧
3.2.3 語(yǔ)言與需求定義均具層次性
3.2.4 非形式化、半形式化、形式化三種表示綜合應(yīng)用
3.2.5 嚴(yán)格之語(yǔ)法與語(yǔ)義描述
3.3 語(yǔ)言成分
3.3.1 數(shù)據(jù)流圖（DFD）
3.3.2 控制流圖（CFD）
3.3.3 實(shí)體聯(lián)系圖（ERD）
3.3.4 字典
3.3.5 軟件需求定義（SRD）
3 4 討論
3.5 功能構(gòu)造之形式語(yǔ)義
3.5.1 引述
3.5.2 DFD之形式語(yǔ)義
3.5.3 CFD之形式語(yǔ)義
3.5.4 ERD之形式語(yǔ)義
3.5.5 字典之形式語(yǔ)義
第四章 軟件需求分析支撐系統(tǒng)NDRASS
4.1 設(shè)計(jì)目標(biāo)與抉擇
4.1.1 以NDRDL為系統(tǒng)之源語(yǔ)言
4.1.2 以Z為系統(tǒng)之目標(biāo)語(yǔ)言
4.1.3 基于功能分解風(fēng)范
4.1.4 注重實(shí)用
4.2 系統(tǒng)組成
4.2.1 體系結(jié)構(gòu)
4.2.2 運(yùn)作過(guò)程
4.2.3 檢查
4.3 功能現(xiàn)約語(yǔ)言Z
4.4 圖形編輯程序
4.4.1 圖符
4.4.2 功能
4.4.3 算法
4.5 功能規(guī)約自動(dòng)生成程序
4.5.1 功能規(guī)約自動(dòng)生成架構(gòu)
4.5.2 狀態(tài)空間Schema生成
4.5.3 操作定義Schema生成
4.5.4 總控流程Schema生成架構(gòu)
4.5.5 控制流圖規(guī)范化
4.5.6 控制流圖結(jié)構(gòu)化
4.5.7 代碼生成
4.6 相關(guān)工作
4.6.1 軟件需求工程方法學(xué)
4.6.2 受控需求表述
4.6.3 結(jié)構(gòu)化常識(shí)與模態(tài)作用邏輯
4.6.4 基于知識(shí)需求助手
4.7 結(jié)束語(yǔ)
第五章 軟件需求定義語(yǔ)言NDRDL 2.0及其支撐系統(tǒng)NDRASS 2.0
5.1 軟件需求定義語(yǔ)言NDRDL 2.0
5.1.1 研究動(dòng)因
5.1.2 基本成分
5.1.3 一致性與完備性約束
5.2 軟件需求分析支撐系統(tǒng)NDRASS 2.0
5.2.1 系統(tǒng)習(xí)已成
5.2.2 一致性與完備性檢查
5.2.3 從情形實(shí)例綜合需求定義
5.2.4 結(jié)束語(yǔ)
第六章 層次化對(duì)象式（面向?qū)ο螅┸浖枨竽Ｐ蚇DHORM與語(yǔ)言NDORL
6.1 對(duì)象式軟件需求分析
6.1.1 含義
6.1.2 基本概念
6.1.3 基本模型
6.2 NDHORM模型組成
6.2.1 對(duì)象關(guān)系模型ORM
6.2.2 類(lèi)關(guān)系模型CRM
6.2.3 類(lèi)字典
6.3 NDHORM模型之層次
6.1.1 對(duì)象精化
6.3.2 模型層次示意
6.4 建模過(guò)程
6.5 圖形化對(duì)象式需求定義語(yǔ)言NDORI
6.5.1 設(shè)計(jì)思想
6.5.2 語(yǔ)言成分
6.5.3 形式語(yǔ)義
6.6 結(jié)束語(yǔ)
第七章 對(duì)象式軟件需求分析支撐系統(tǒng)NDORASS
7.1 引述
7.2 對(duì)象式軟件規(guī)約語(yǔ)言及環(huán)境OOZE
7.2.1 概述
7.2.2 模塊
7.2.3 類(lèi)
7.3 系統(tǒng)設(shè)計(jì)與組織
7.3.1 系統(tǒng)邏輯結(jié)構(gòu)
7.3.2 系統(tǒng)組成
7.3.3 主要功能
7.4 從需求定義到形式功能規(guī)約之自動(dòng)轉(zhuǎn)換
7.4.1 類(lèi)關(guān)系圖及類(lèi)字典之轉(zhuǎn)換
7.4.2 對(duì)象關(guān)系圖之轉(zhuǎn)換
7.5 結(jié)束語(yǔ)
功能級(jí)語(yǔ)言篇
第八章 軟件功能規(guī)約語(yǔ)言FGSPEC之設(shè)計(jì)
8.1 語(yǔ)言設(shè)計(jì)綜述
8.1.1 概況
8.1.2 設(shè)計(jì)原則
8.1.3 規(guī)約方法
8.2 FGSPEC語(yǔ)言
8.2.1 設(shè)計(jì)思想
8.2.2 基本成分
第九章 軟件功能規(guī)約語(yǔ)言FGSPEC之實(shí)現(xiàn)
9.1 基本模型
9.2 正確性架構(gòu)
9.3 支撐機(jī)制
9.3.1 前件推導(dǎo)機(jī)制
9.3.2 知識(shí)表示機(jī)制
9.3.3 算法設(shè)計(jì)方法選擇機(jī)制
9.4 NDADAS系統(tǒng)
9.4.1 系統(tǒng)功能與特點(diǎn)
9.4.2 系統(tǒng)結(jié)構(gòu)
9.4.3 運(yùn)行實(shí)例
9.5 NDSAll系統(tǒng)
9.5.1 脆弱性問(wèn)題
9.5.2 系統(tǒng)組成
設(shè)計(jì)級(jí)語(yǔ)言篇
第十章 軟件設(shè)計(jì)規(guī)約語(yǔ)言GSPEC之設(shè)計(jì)
10.1 語(yǔ)言設(shè)計(jì)綜述
10.1.1 概況
10.1.2 設(shè)計(jì)原則
10.1.3 HOS方法學(xué)
10.2 GSPEC語(yǔ)言
10.2.1 設(shè)計(jì)思想
10.2.2 功能分解描述子語(yǔ)言TREEL
10.2.3 抽象數(shù)據(jù)類(lèi)型描述子語(yǔ)言ADTL
10.2.4 TREEL與ADTL之有機(jī)結(jié)合
第十一章 軟件設(shè)計(jì)規(guī)約語(yǔ)言GSPEC之驗(yàn)證
11.1 引述
11.2 TREEL驗(yàn)證技術(shù)
11.2.1 函數(shù)功能分解性質(zhì)
11.2.2 控制結(jié)構(gòu)
11.2.3 多叉分解結(jié)構(gòu)
11.3 ADTL一驗(yàn)證技術(shù)
11.3.1 終止性驗(yàn)證技術(shù)
11.3.2 一致性驗(yàn)證技術(shù)
11.3.3 完備性驗(yàn)證技術(shù)
第十二章 軟件設(shè)計(jì)規(guī)約語(yǔ)言GSPEC之實(shí)現(xiàn)
12.1 抽象數(shù)據(jù)類(lèi)型實(shí)現(xiàn)技術(shù)
12.1.1 知識(shí)表示設(shè)計(jì)
12.1.2 轉(zhuǎn)換模型
12.2 NDAUTO系統(tǒng)
12.2.1 系統(tǒng)功能
12.2.2 系統(tǒng)組成
12.2.3 運(yùn)行實(shí)例
實(shí)現(xiàn)級(jí)語(yǔ)言篇
第十三章 程序設(shè)計(jì)語(yǔ)言ALGOL與ADA
13.1 ALGOL 60語(yǔ)言
13.1.1 重大意義
13.1.2 主要特征
13.1.3 幾個(gè)問(wèn)題
13.1.4 J-501計(jì)算機(jī)ALGOL編譯系統(tǒng)
13.1.5 NDJ-1（即 103）機(jī)ALGOL編譯系統(tǒng)
13.2 ADA語(yǔ)言
13.2.1 ADA－O語(yǔ)言編譯系統(tǒng)概貌
13.2.2 第一趟掃描
13.2.3 第二趟掃描
第十四章 系統(tǒng)程序設(shè)計(jì)語(yǔ)言
14.1 NDHD語(yǔ)言族
14.1.1 設(shè)計(jì)考慮
14.1.2 核心語(yǔ)言
14.1.3 實(shí)現(xiàn)問(wèn)題
14.1.4 工作情況
14.2 XCY語(yǔ)言族
14.2.1 XCY語(yǔ)言之設(shè)計(jì)與實(shí)現(xiàn)
14.2.2 XCY語(yǔ)言族之設(shè)計(jì)與實(shí)現(xiàn)
第十五章 對(duì)象式（面向?qū)ο螅┏绦蛟O(shè)計(jì)語(yǔ)言概述
15.1 基本概念
15.1.1 對(duì)象
15.1.2 類(lèi)
15.1.3 繼承
15.1.4 多態(tài)
15.1.5 動(dòng)態(tài)定連（綁定）
15.2 典型語(yǔ)言
15.2.1 SIMULA語(yǔ)言
15.2.2 SMALLTALK
15.2.3 C++
15.2.4 EIFFEL
15.2.5 比較
第十六章 對(duì)象式程序設(shè)計(jì)語(yǔ)言之形式語(yǔ)義
16.1 EIFFEL之簡(jiǎn)化模型PetitEiffel
16.1.1 語(yǔ)法域
16.1.2 語(yǔ)法子句
16.1.3 解釋
16.1.4 靜態(tài)分析
16.1.5 語(yǔ)義域
16.1.6 語(yǔ)義函數(shù)
16.2 繼承之?dāng)?shù)學(xué)模型
16.2.1 基本概念
16.2.2 繼承之形式語(yǔ)義定義方法
第十七章 函數(shù)式程序設(shè)計(jì)語(yǔ)言
17.1 含義與發(fā)展
17.2 傳統(tǒng)馮.諾依曼計(jì)算機(jī)上FP系統(tǒng)之實(shí)現(xiàn)
17.2.1 函數(shù)式語(yǔ)言FP之特點(diǎn)
17.2.2 實(shí)現(xiàn)之特定FP語(yǔ)言
17.2.3 特定FP語(yǔ)言之實(shí)現(xiàn):FP解釋性系統(tǒng)FISYS
17.3 數(shù)據(jù)驅(qū)動(dòng)式并行歸約機(jī)FPM2之設(shè)計(jì)與分析及其模型機(jī)構(gòu)作
17.3.1 FPM2結(jié)構(gòu)
17.3.2 FP語(yǔ)言之實(shí)現(xiàn)
17.3.3 分析
17.3.4 模型機(jī)FPMND構(gòu)作
17.3.5 討論
第十八章 邏輯式與函數(shù)式結(jié)合之語(yǔ)言KLND
18.1 語(yǔ)言基本成分
18.1.1 要點(diǎn)綜述
18.1.2 超程序與程序
18.1.3 模塊
18.1.4 關(guān)系與函數(shù)
18.1.5 并行性
18.1.6 Horn子句
18.1.7 詢問(wèn)語(yǔ)句
18.1.8 程序?qū)嵗?br />18.2 并行推理系統(tǒng)NDPIS
18.2.1 概述
18.2.2 置換驅(qū)動(dòng)之基指令系統(tǒng)
18.2.3 KLND-ENGINE
18.2.4 用戶界面
18.2.5 模型機(jī)性能分析
18.2.6 比較與總結(jié)
參考文獻(xiàn)
跋
索引