Anna語言導(dǎo)論

內(nèi)容概要

內(nèi)容簡介
本書是國內(nèi)第一本介紹Anna語言的書籍.Anna是一種以Ada
為基礎(chǔ)的規(guī)格說明語言，大量吸收了Pascal等語言的研究成果，
可廣泛用于軟件開發(fā)過程中從需求規(guī)格說明、設(shè)計、編碼、測試到
維護(hù)各個階段。全書由三部分組成：第一部分是Anna入門、對
Anna作一般介紹；第二部分是完整的Anna參考手冊；第三部分
詳細(xì)描述了與Anna互補(bǔ)的TSL－1語言。
本書適用于廣大軟件工作者、高等院校師生，可作為高校本科
生與研究生有關(guān)課程的教學(xué)參考書。

書籍目錄

目 錄
第一部分：Ada及其規(guī)格說明語言Anna
1引言
2Ada典型特征
3Anna基本概念
3.1虛擬Ada行文
3.2標(biāo)注
3.3新增運算與屬性
3.4帶量詞表達(dá)式
4標(biāo)注種類
4.1對象標(biāo)注
4.2（子）類型標(biāo)注
4.3語句標(biāo)注
4.4子程序標(biāo)注
4.5異常傳播標(biāo)注
4.6上下文標(biāo)注
5程序包標(biāo)注
5.1可見標(biāo)注與隱藏標(biāo)注
5.2程序包狀態(tài)
5.3程序包公理
6語義、實現(xiàn)及工具
6.1公理語義
6.2轉(zhuǎn)換語義與實現(xiàn)
6.3基本工具
7結(jié)束語
附錄 Ada語法
第二部分：Anna語言參考手冊
0作者前言
1Anna基本概念
1.1虛擬Ada行文
1.2標(biāo)注
1.3標(biāo)注的語義
1.3.1程序狀態(tài)
1.3.2斷言與Anna核
1.3.3Anna程序的一致性
1.3.4標(biāo)注的定義性
1.4一致性檢查
1.5手冊結(jié)構(gòu)
1.6錯誤分類
2詞法元素
2.1字符集
2.2詞法元素、分隔符與定界符
2.7形式注解
2.9保留字
2.10 允許的字符替換
3聲明與類型標(biāo)注
3.1聲明標(biāo)注
3.2對象標(biāo)注
3.2.1 對象約束轉(zhuǎn)換
3.3類型與子類型聲明標(biāo)注
3.3.3適用于所有類型的運算
3.4派生類型標(biāo)注
3.5純量類型運算
3.6數(shù)組類型標(biāo)注
3.6.2數(shù)組類型運算
3.6.4數(shù)組狀態(tài)
3.7記錄類型標(biāo)注
3.7.4記錄類型運算
3.7.5記錄狀態(tài)
3.8 訪問類型標(biāo)注
3.8.2訪問類型運算
3.8.3訪問類型約束
3.8.4集團(tuán)狀態(tài)
3.9 聲明部分
4標(biāo)注中名字與表達(dá)式
4.1標(biāo)注中名字
4.1.4 屬性
4.4標(biāo)注中表達(dá)式
4.5運算符與表達(dá)式求值
4.5.1 邏輯運算符
4.5.2 關(guān)系運算符與成員關(guān)系測試
4.6類型轉(zhuǎn)換
4.7限定表達(dá)式
4.11帶量詞表達(dá)式
4.11.1帶量詞表達(dá)式轉(zhuǎn)換成Anna核
4.12 條件表達(dá)式
4.13修飾符
4.14表達(dá)式的定義性
5語句標(biāo)注
5.1簡單與復(fù)合語句標(biāo)注
5.5循環(huán)語句標(biāo)注
5.8返回語句標(biāo)注
6子程序標(biāo)注
6.1子程序聲明標(biāo)注
6.2形式參數(shù)標(biāo)注
6.3子程序體標(biāo)注
6.4子程序調(diào)用標(biāo)注
6.5函數(shù)子程序結(jié)果標(biāo)注
6.6標(biāo)注中子程序重載
6.7運算符重載
6.8子程序?qū)傩?br />7程序包標(biāo)注
7.1程序包結(jié)構(gòu)
7.2程序包規(guī)格說明中可見標(biāo)注
7.2.1可見類型標(biāo)注
7.3程序包隱藏標(biāo)注
7.4私有類型標(biāo)注
7.4.1私有類型在標(biāo)注中的運用
7.4.2私有類型運算
7.4.4受限類型相等運算的重新定義
7.7程序包狀態(tài)
7.7.1狀態(tài)類型
7.7.2初始狀態(tài)和當(dāng)前狀態(tài)
7.7.3程序包后繼狀態(tài)
7.7.4相對于程序包狀態(tài)的函數(shù)調(diào)用
7.7.5狀態(tài)類型標(biāo)注
7.8公理標(biāo)注
7.8.1公理簡化表示法
7.8.2隱式相等公理
7.9Anna程序包的一致性
7.9.1 程序包體的一致性
7.9.2可見標(biāo)注與程序包體的一致性
7.10帶標(biāo)注程序包舉例
8標(biāo)注的可見性規(guī)則
8.2聲明與聲明標(biāo)注的作用域
8.3可見性
8.5改名聲明
8.7重載分辨的上下文
9任務(wù)標(biāo)注
10程序結(jié)構(gòu)
10.1編譯單元標(biāo)注
10.1.1 虛擬上下文子句
10.1.3上下文標(biāo)注
10.2子單元標(biāo)注
11異常標(biāo)注
11.2異常處理段標(biāo)注
11.3引發(fā)語句標(biāo)注
11.4傳播標(biāo)注
11.7標(biāo)注的屏蔽檢查
12類屬單元標(biāo)注
12.1類屬聲明標(biāo)注
12.1.1類屬形式對象標(biāo)注
12.1.2類屬形式類型標(biāo)注
12.1.3類屬形式子程序標(biāo)注
12.3類屬標(biāo)注例舉
12.4帶標(biāo)注類屬程序包舉例
12.5類屬單元的一致性
13依賴實現(xiàn)的特征的標(biāo)注
13.8機(jī)器代碼插入的標(biāo)注
12.9與其它語言接口的標(biāo)注
13.10不作檢查的程序設(shè)計的標(biāo)注
13.10.1不作檢查的存貯單元回收的標(biāo)注
13.10.2 不作檢查的類型轉(zhuǎn)換的標(biāo)注
附錄A 預(yù)定義Anna屬性
附錄C 預(yù)定義Anna環(huán)境
附錄E Anna語法概要
附錄H Anna程序?qū)嵗?br />1 符號表程序包
2 Dijkstra荷蘭國旗程序
第三部分：TSL－1一種Ada任務(wù)定序語言
1概述
2類型表達(dá)式與基本事件
3用戶定義事件與執(zhí)行語句
4占位符
5事件匹配與參數(shù)匯集
6哨兵
7復(fù)合事件
8規(guī)格說明
9性質(zhì)與更新語句
10 宏定義與調(diào)用
11TSL―1任務(wù)規(guī)格說明
12結(jié)束語
附錄A TSL－1擴(kuò)充的語法
附錄B TSL－1擴(kuò)充的保留字
附錄C TSL－1擴(kuò)充預(yù)定義環(huán)境
附錄D 例篩法求質(zhì)數(shù)
參考文獻(xiàn)
英漢名詞對照

圖書封面

評論、評分、閱讀與下載

---

    Anna語言導(dǎo)論 PDF格式下載

---