軟件語言及其實現(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 軟件語言級別
1.3.1 需求級語言
1.3.2 功能級語言
1.3.3 設(shè)計級語言
1.3.4 實現(xiàn)級語言
1.4 軟件語言發(fā)展
1.4.1 低抽象級到高抽象級
1.4.2 順序語言到井發(fā)（并行）語言
1.4.3 單機語言到網(wǎng)絡(luò)語言
1.5 本書內(nèi)容與體式
1.5.1 取材以作者工作為基礎(chǔ)
1.5.2 組織按語言級別分篇
1.5.3 內(nèi)容側(cè)重語言，兼及實現(xiàn)
需求級語言篇
第二章 軟件需求分析概述
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è)計目標(biāo)
3.1.1 實用性佳
3.1.2 表述力強
3.1.3 易讀性好
3.1.4 嚴(yán)謹(jǐn)性病
3.2 設(shè)計原則
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 實體聯(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è)計目標(biāo)與抉擇
4.1.1 以NDRDL為系統(tǒng)之源語言
4.1.2 以Z為系統(tǒng)之目標(biāo)語言
4.1.3 基于功能分解風(fēng)范
4.1.4 注重實用
4.2 系統(tǒng)組成
4.2.1 體系結(jié)構(gòu)
4.2.2 運作過程
4.2.3 檢查
4.3 功能現(xiàn)約語言Z
4.4 圖形編輯程序
4.4.1 圖符
4.4.2 功能
4.4.3 算法
4.5 功能規(guī)約自動生成程序
4.5.1 功能規(guī)約自動生成架構(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)化常識與模態(tài)作用邏輯
4.6.4 基于知識需求助手
4.7 結(jié)束語
第五章 軟件需求定義語言NDRDL 2.0及其支撐系統(tǒng)NDRASS 2.0
5.1 軟件需求定義語言NDRDL 2.0
5.1.1 研究動因
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 從情形實例綜合需求定義
5.2.4 結(jié)束語
第六章 層次化對象式（面向?qū)ο螅┸浖枨竽Ｐ蚇DHORM與語言NDORL
6.1 對象式軟件需求分析
6.1.1 含義
6.1.2 基本概念
6.1.3 基本模型
6.2 NDHORM模型組成
6.2.1 對象關(guān)系模型ORM
6.2.2 類關(guān)系模型CRM
6.2.3 類字典
6.3 NDHORM模型之層次
6.1.1 對象精化
6.3.2 模型層次示意
6.4 建模過程
6.5 圖形化對象式需求定義語言NDORI
6.5.1 設(shè)計思想
6.5.2 語言成分
6.5.3 形式語義
6.6 結(jié)束語
第七章 對象式軟件需求分析支撐系統(tǒng)NDORASS
7.1 引述
7.2 對象式軟件規(guī)約語言及環(huán)境OOZE
7.2.1 概述
7.2.2 模塊
7.2.3 類
7.3 系統(tǒng)設(shè)計與組織
7.3.1 系統(tǒng)邏輯結(jié)構(gòu)
7.3.2 系統(tǒng)組成
7.3.3 主要功能
7.4 從需求定義到形式功能規(guī)約之自動轉(zhuǎn)換
7.4.1 類關(guān)系圖及類字典之轉(zhuǎn)換
7.4.2 對象關(guān)系圖之轉(zhuǎn)換
7.5 結(jié)束語
功能級語言篇
第八章 軟件功能規(guī)約語言FGSPEC之設(shè)計
8.1 語言設(shè)計綜述
8.1.1 概況
8.1.2 設(shè)計原則
8.1.3 規(guī)約方法
8.2 FGSPEC語言
8.2.1 設(shè)計思想
8.2.2 基本成分
第九章 軟件功能規(guī)約語言FGSPEC之實現(xiàn)
9.1 基本模型
9.2 正確性架構(gòu)
9.3 支撐機制
9.3.1 前件推導(dǎo)機制
9.3.2 知識表示機制
9.3.3 算法設(shè)計方法選擇機制
9.4 NDADAS系統(tǒng)
9.4.1 系統(tǒng)功能與特點
9.4.2 系統(tǒng)結(jié)構(gòu)
9.4.3 運行實例
9.5 NDSAll系統(tǒng)
9.5.1 脆弱性問題
9.5.2 系統(tǒng)組成
設(shè)計級語言篇
第十章 軟件設(shè)計規(guī)約語言GSPEC之設(shè)計
10.1 語言設(shè)計綜述
10.1.1 概況
10.1.2 設(shè)計原則
10.1.3 HOS方法學(xué)
10.2 GSPEC語言
10.2.1 設(shè)計思想
10.2.2 功能分解描述子語言TREEL
10.2.3 抽象數(shù)據(jù)類型描述子語言ADTL
10.2.4 TREEL與ADTL之有機結(jié)合
第十一章 軟件設(shè)計規(guī)約語言GSPEC之驗證
11.1 引述
11.2 TREEL驗證技術(shù)
11.2.1 函數(shù)功能分解性質(zhì)
11.2.2 控制結(jié)構(gòu)
11.2.3 多叉分解結(jié)構(gòu)
11.3 ADTL一驗證技術(shù)
11.3.1 終止性驗證技術(shù)
11.3.2 一致性驗證技術(shù)
11.3.3 完備性驗證技術(shù)
第十二章 軟件設(shè)計規(guī)約語言GSPEC之實現(xiàn)
12.1 抽象數(shù)據(jù)類型實現(xiàn)技術(shù)
12.1.1 知識表示設(shè)計
12.1.2 轉(zhuǎn)換模型
12.2 NDAUTO系統(tǒng)
12.2.1 系統(tǒng)功能
12.2.2 系統(tǒng)組成
12.2.3 運行實例
實現(xiàn)級語言篇
第十三章 程序設(shè)計語言ALGOL與ADA
13.1 ALGOL 60語言
13.1.1 重大意義
13.1.2 主要特征
13.1.3 幾個問題
13.1.4 J-501計算機ALGOL編譯系統(tǒng)
13.1.5 NDJ-1（即 103）機ALGOL編譯系統(tǒng)
13.2 ADA語言
13.2.1 ADA－O語言編譯系統(tǒng)概貌
13.2.2 第一趟掃描
13.2.3 第二趟掃描
第十四章 系統(tǒng)程序設(shè)計語言
14.1 NDHD語言族
14.1.1 設(shè)計考慮
14.1.2 核心語言
14.1.3 實現(xiàn)問題
14.1.4 工作情況
14.2 XCY語言族
14.2.1 XCY語言之設(shè)計與實現(xiàn)
14.2.2 XCY語言族之設(shè)計與實現(xiàn)
第十五章 對象式（面向?qū)ο螅┏绦蛟O(shè)計語言概述
15.1 基本概念
15.1.1 對象
15.1.2 類
15.1.3 繼承
15.1.4 多態(tài)
15.1.5 動態(tài)定連（綁定）
15.2 典型語言
15.2.1 SIMULA語言
15.2.2 SMALLTALK
15.2.3 C++
15.2.4 EIFFEL
15.2.5 比較
第十六章 對象式程序設(shè)計語言之形式語義
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è)計語言
17.1 含義與發(fā)展
17.2 傳統(tǒng)馮.諾依曼計算機上FP系統(tǒng)之實現(xiàn)
17.2.1 函數(shù)式語言FP之特點
17.2.2 實現(xiàn)之特定FP語言
17.2.3 特定FP語言之實現(xiàn):FP解釋性系統(tǒng)FISYS
17.3 數(shù)據(jù)驅(qū)動式并行歸約機FPM2之設(shè)計與分析及其模型機構(gòu)作
17.3.1 FPM2結(jié)構(gòu)
17.3.2 FP語言之實現(xiàn)
17.3.3 分析
17.3.4 模型機FPMND構(gòu)作
17.3.5 討論
第十八章 邏輯式與函數(shù)式結(jié)合之語言KLND
18.1 語言基本成分
18.1.1 要點綜述
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ū)動之基指令系統(tǒng)
18.2.3 KLND-ENGINE
18.2.4 用戶界面
18.2.5 模型機性能分析
18.2.6 比較與總結(jié)
參考文獻
跋
索引