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

第一章 引言
1.1 軟件語言含義
1.1.1 語言
1.1.2 軟件
1.1.3 軟件語言
1.2 軟件語言作用
1.2.1 描述作用
1.2.2 交流作用
1.2.3 標志作用
1.3 軟件語言級別
1.3.1 需求級語言
1.3.2 功能級語言
1.3.3 設計級語言
1.3.4 實現(xiàn)級語言
1.4 軟件語言發(fā)展
1.4.1 低抽象級到高抽象級
1.4.2 順序語言到井發(fā)（并行）語言
1.4.3 單機語言到網(wǎng)絡語言
1.5 本書內容與體式
1.5.1 取材以作者工作為基礎
1.5.2 組織按語言級別分篇
1.5.3 內容側重語言，兼及實現(xiàn)
需求級語言篇
第二章 軟件需求分析概述
2.1 軟件需求分析含義
2.2 軟件需求定義（規(guī)約）
2.2.1 含義
2.2.2 內容
2.2.3 目的
2.2.4 使用
2.2.5 現(xiàn)狀
2.3 軟件需求定義語言
2.3.1 定義
2.3.2 研究內容
第三章 軟件需求定義語言NDRDL
3.1 設計目標
3.1.1 實用性佳
3.1.2 表述力強
3.1.3 易讀性好
3.1.4 嚴謹性病
3.2 設計原則
3.2.1 基于功能分解風范與結構化方法
3.2.2 功能需求與非功能需求兼顧
3.2.3 語言與需求定義均具層次性
3.2.4 非形式化、半形式化、形式化三種表示綜合應用
3.2.5 嚴格之語法與語義描述
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 功能構造之形式語義
3.5.1 引述
3.5.2 DFD之形式語義
3.5.3 CFD之形式語義
3.5.4 ERD之形式語義
3.5.5 字典之形式語義
第四章 軟件需求分析支撐系統(tǒng)NDRASS
4.1 設計目標與抉擇
4.1.1 以NDRDL為系統(tǒng)之源語言
4.1.2 以Z為系統(tǒng)之目標語言
4.1.3 基于功能分解風范
4.1.4 注重實用
4.2 系統(tǒng)組成
4.2.1 體系結構
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ī)約自動生成架構
4.5.2 狀態(tài)空間Schema生成
4.5.3 操作定義Schema生成
4.5.4 總控流程Schema生成架構
4.5.5 控制流圖規(guī)范化
4.5.6 控制流圖結構化
4.5.7 代碼生成
4.6 相關工作
4.6.1 軟件需求工程方法學
4.6.2 受控需求表述
4.6.3 結構化常識與模態(tài)作用邏輯
4.6.4 基于知識需求助手
4.7 結束語
第五章 軟件需求定義語言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)習已成
5.2.2 一致性與完備性檢查
5.2.3 從情形實例綜合需求定義
5.2.4 結束語
第六章 層次化對象式（面向對象）軟件需求模型NDHORM與語言NDORL
6.1 對象式軟件需求分析
6.1.1 含義
6.1.2 基本概念
6.1.3 基本模型
6.2 NDHORM模型組成
6.2.1 對象關系模型ORM
6.2.2 類關系模型CRM
6.2.3 類字典
6.3 NDHORM模型之層次
6.1.1 對象精化
6.3.2 模型層次示意
6.4 建模過程
6.5 圖形化對象式需求定義語言NDORI
6.5.1 設計思想
6.5.2 語言成分
6.5.3 形式語義
6.6 結束語
第七章 對象式軟件需求分析支撐系統(tǒng)NDORASS
7.1 引述
7.2 對象式軟件規(guī)約語言及環(huán)境OOZE
7.2.1 概述
7.2.2 模塊
7.2.3 類
7.3 系統(tǒng)設計與組織
7.3.1 系統(tǒng)邏輯結構
7.3.2 系統(tǒng)組成
7.3.3 主要功能
7.4 從需求定義到形式功能規(guī)約之自動轉換
7.4.1 類關系圖及類字典之轉換
7.4.2 對象關系圖之轉換
7.5 結束語
功能級語言篇
第八章 軟件功能規(guī)約語言FGSPEC之設計
8.1 語言設計綜述
8.1.1 概況
8.1.2 設計原則
8.1.3 規(guī)約方法
8.2 FGSPEC語言
8.2.1 設計思想
8.2.2 基本成分
第九章 軟件功能規(guī)約語言FGSPEC之實現(xiàn)
9.1 基本模型
9.2 正確性架構
9.3 支撐機制
9.3.1 前件推導機制
9.3.2 知識表示機制
9.3.3 算法設計方法選擇機制
9.4 NDADAS系統(tǒng)
9.4.1 系統(tǒng)功能與特點
9.4.2 系統(tǒng)結構
9.4.3 運行實例
9.5 NDSAll系統(tǒng)
9.5.1 脆弱性問題
9.5.2 系統(tǒng)組成
設計級語言篇
第十章 軟件設計規(guī)約語言GSPEC之設計
10.1 語言設計綜述
10.1.1 概況
10.1.2 設計原則
10.1.3 HOS方法學
10.2 GSPEC語言
10.2.1 設計思想
10.2.2 功能分解描述子語言TREEL
10.2.3 抽象數(shù)據(jù)類型描述子語言ADTL
10.2.4 TREEL與ADTL之有機結合
第十一章 軟件設計規(guī)約語言GSPEC之驗證
11.1 引述
11.2 TREEL驗證技術
11.2.1 函數(shù)功能分解性質
11.2.2 控制結構
11.2.3 多叉分解結構
11.3 ADTL一驗證技術
11.3.1 終止性驗證技術
11.3.2 一致性驗證技術
11.3.3 完備性驗證技術
第十二章 軟件設計規(guī)約語言GSPEC之實現(xiàn)
12.1 抽象數(shù)據(jù)類型實現(xiàn)技術
12.1.1 知識表示設計
12.1.2 轉換模型
12.2 NDAUTO系統(tǒng)
12.2.1 系統(tǒng)功能
12.2.2 系統(tǒng)組成
12.2.3 運行實例
實現(xiàn)級語言篇
第十三章 程序設計語言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)程序設計語言
14.1 NDHD語言族
14.1.1 設計考慮
14.1.2 核心語言
14.1.3 實現(xiàn)問題
14.1.4 工作情況
14.2 XCY語言族
14.2.1 XCY語言之設計與實現(xiàn)
14.2.2 XCY語言族之設計與實現(xiàn)
第十五章 對象式（面向對象）程序設計語言概述
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 比較
第十六章 對象式程序設計語言之形式語義
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 繼承之數(shù)學模型
16.2.1 基本概念
16.2.2 繼承之形式語義定義方法
第十七章 函數(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ù)驅動式并行歸約機FPM2之設計與分析及其模型機構作
17.3.1 FPM2結構
17.3.2 FP語言之實現(xiàn)
17.3.3 分析
17.3.4 模型機FPMND構作
17.3.5 討論
第十八章 邏輯式與函數(shù)式結合之語言KLND
18.1 語言基本成分
18.1.1 要點綜述
18.1.2 超程序與程序
18.1.3 模塊
18.1.4 關系與函數(shù)
18.1.5 并行性
18.1.6 Horn子句
18.1.7 詢問語句
18.1.8 程序實例
18.2 并行推理系統(tǒng)NDPIS
18.2.1 概述
18.2.2 置換驅動之基指令系統(tǒng)
18.2.3 KLND-ENGINE
18.2.4 用戶界面
18.2.5 模型機性能分析
18.2.6 比較與總結
參考文獻
跋
索引