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

第一章 引言
1.1 軟件語言含義
1.1.1 語言
1.1.2 軟件
1.1.3 軟件語言
1.2 軟件語言作用
1.2.1 描述作用
1.2.2 交流作用
1.2.3 標(biāo)志作用
1.3 軟件語言級(jí)別
1.3.1 需求級(jí)語言
1.3.2 功能級(jí)語言
1.3.3 設(shè)計(jì)級(jí)語言
1.3.4 實(shí)現(xiàn)級(jí)語言
1.4 軟件語言發(fā)展
1.4.1 低抽象級(jí)到高抽象級(jí)
1.4.2 順序語言到井發(fā)（并行）語言
1.4.3 單機(jī)語言到網(wǎng)絡(luò)語言
1.5 本書內(nèi)容與體式
1.5.1 取材以作者工作為基礎(chǔ)
1.5.2 組織按語言級(jí)別分篇
1.5.3 內(nèi)容側(cè)重語言，兼及實(shí)現(xiàn)
需求級(jí)語言篇
第二章 軟件需求分析概述
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 軟件需求定義語言
2.3.1 定義
2.3.2 研究內(nèi)容
第三章 軟件需求定義語言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 語言與需求定義均具層次性
3.2.4 非形式化、半形式化、形式化三種表示綜合應(yīng)用
3.2.5 嚴(yán)格之語法與語義描述
3.3 語言成分
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)造之形式語義
3.5.1 引述
3.5.2 DFD之形式語義
3.5.3 CFD之形式語義
3.5.4 ERD之形式語義
3.5.5 字典之形式語義
第四章 軟件需求分析支撐系統(tǒng)NDRASS
4.1 設(shè)計(jì)目標(biāo)與抉擇
4.1.1 以NDRDL為系統(tǒng)之源語言
4.1.2 以Z為系統(tǒng)之目標(biāo)語言
4.1.3 基于功能分解風(fēng)范
4.1.4 注重實(shí)用
4.2 系統(tǒng)組成
4.2.1 體系結(jié)構(gòu)
4.2.2 運(yùn)作過程
4.2.3 檢查
4.3 功能現(xiàn)約語言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é)束語
第五章 軟件需求定義語言NDRDL 2.0及其支撐系統(tǒng)NDRASS 2.0
5.1 軟件需求定義語言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é)束語
第六章 層次化對(duì)象式（面向?qū)ο螅┸浖枨竽Ｐ蚇DHORM與語言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 類關(guān)系模型CRM
6.2.3 類字典
6.3 NDHORM模型之層次
6.1.1 對(duì)象精化
6.3.2 模型層次示意
6.4 建模過程
6.5 圖形化對(duì)象式需求定義語言NDORI
6.5.1 設(shè)計(jì)思想
6.5.2 語言成分
6.5.3 形式語義
6.6 結(jié)束語
第七章 對(duì)象式軟件需求分析支撐系統(tǒng)NDORASS
7.1 引述
7.2 對(duì)象式軟件規(guī)約語言及環(huán)境OOZE
7.2.1 概述
7.2.2 模塊
7.2.3 類
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 類關(guān)系圖及類字典之轉(zhuǎn)換
7.4.2 對(duì)象關(guān)系圖之轉(zhuǎn)換
7.5 結(jié)束語
功能級(jí)語言篇
第八章 軟件功能規(guī)約語言FGSPEC之設(shè)計(jì)
8.1 語言設(shè)計(jì)綜述
8.1.1 概況
8.1.2 設(shè)計(jì)原則
8.1.3 規(guī)約方法
8.2 FGSPEC語言
8.2.1 設(shè)計(jì)思想
8.2.2 基本成分
第九章 軟件功能規(guī)約語言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 脆弱性問題
9.5.2 系統(tǒng)組成
設(shè)計(jì)級(jí)語言篇
第十章 軟件設(shè)計(jì)規(guī)約語言GSPEC之設(shè)計(jì)
10.1 語言設(shè)計(jì)綜述
10.1.1 概況
10.1.2 設(shè)計(jì)原則
10.1.3 HOS方法學(xué)
10.2 GSPEC語言
10.2.1 設(shè)計(jì)思想
10.2.2 功能分解描述子語言TREEL
10.2.3 抽象數(shù)據(jù)類型描述子語言ADTL
10.2.4 TREEL與ADTL之有機(jī)結(jié)合
第十一章 軟件設(shè)計(jì)規(guī)約語言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ī)約語言GSPEC之實(shí)現(xiàn)
12.1 抽象數(shù)據(jù)類型實(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í)語言篇
第十三章 程序設(shè)計(jì)語言ALGOL與ADA
13.1 ALGOL 60語言
13.1.1 重大意義
13.1.2 主要特征
13.1.3 幾個(gè)問題
13.1.4 J-501計(jì)算機(jī)ALGOL編譯系統(tǒng)
13.1.5 NDJ-1（即 103）機(jī)ALGOL編譯系統(tǒng)
13.2 ADA語言
13.2.1 ADA－O語言編譯系統(tǒng)概貌
13.2.2 第一趟掃描
13.2.3 第二趟掃描
第十四章 系統(tǒng)程序設(shè)計(jì)語言
14.1 NDHD語言族
14.1.1 設(shè)計(jì)考慮
14.1.2 核心語言
14.1.3 實(shí)現(xiàn)問題
14.1.4 工作情況
14.2 XCY語言族
14.2.1 XCY語言之設(shè)計(jì)與實(shí)現(xiàn)
14.2.2 XCY語言族之設(shè)計(jì)與實(shí)現(xiàn)
第十五章 對(duì)象式（面向?qū)ο螅┏绦蛟O(shè)計(jì)語言概述
15.1 基本概念
15.1.1 對(duì)象
15.1.2 類
15.1.3 繼承
15.1.4 多態(tài)
15.1.5 動(dòng)態(tài)定連（綁定）
15.2 典型語言
15.2.1 SIMULA語言
15.2.2 SMALLTALK
15.2.3 C++
15.2.4 EIFFEL
15.2.5 比較
第十六章 對(duì)象式程序設(shè)計(jì)語言之形式語義
16.1 EIFFEL之簡化模型PetitEiffel
16.1.1 語法域
16.1.2 語法子句
16.1.3 解釋
16.1.4 靜態(tài)分析
16.1.5 語義域
16.1.6 語義函數(shù)
16.2 繼承之?dāng)?shù)學(xué)模型
16.2.1 基本概念
16.2.2 繼承之形式語義定義方法
第十七章 函數(shù)式程序設(shè)計(jì)語言
17.1 含義與發(fā)展
17.2 傳統(tǒng)馮.諾依曼計(jì)算機(jī)上FP系統(tǒng)之實(shí)現(xiàn)
17.2.1 函數(shù)式語言FP之特點(diǎn)
17.2.2 實(shí)現(xiàn)之特定FP語言
17.2.3 特定FP語言之實(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語言之實(shí)現(xiàn)
17.3.3 分析
17.3.4 模型機(jī)FPMND構(gòu)作
17.3.5 討論
第十八章 邏輯式與函數(shù)式結(jié)合之語言KLND
18.1 語言基本成分
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 詢問語句
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)
跋
索引