Ada軟體開發技術

Ada軟體開發技術

《Ada軟體開發技術》是王振宇,梁先忠 所著的一本書籍,該書系統闡述國內外(包括作者所在群體)在Ada軟體開發方法、技術、工具和環境方面的成果,重點在Ada語言對軟體工程的支持、大型軟體的構造、面向對象軟體構造、圖式軟體開發方法和作者近期提出的A型對象。作者的有些成果屬首次發表。Ada語言是為開發高可靠和長壽命軟體系統而設計的。

《Ada軟體開發技術》可供從事高可靠和長壽命軟體系統的設計開發、軟體工程技術、電腦程式語言的專業人員、高等院校的教師參考,也可作為博士、碩士研究生的參考書。

基本介紹

  • 書名:Ada軟體開發技術
  • 作者:王振宇,梁先忠 
  • ISBN:9787118024142 
  • 出版社:國防工業出版社
基本信息,作者簡介,目錄,前言,

基本信息

作 者:王振宇,梁先忠 著 叢 書 名:出 版 社:國防工業出版社ISBN:9787118024142 出版時間:2001-03-01 版 次:1 頁 數:306 裝 幀:精裝 開 本:大32開 所屬分類:圖書 > 計算機與網際網路 > 軟體工程及軟體方法學

作者簡介

王振宇,1936年生於河南大康。1956年畢業於武漢大學數學系。早年從事函式論研究。1970年以來從事計算機科學和軟體研究。現任中國船舶重工集團七院七零九研究所研究員,博士生導師,所技術顧問,武漢計算機軟體工程學會副理事長,中國科學院軟體研究所兼職研究員。主攻方向:Ada語言、軟體工程、軟體開發工具和環境、算法複雜性分析及有關數學工具、軟體複雜性度量。他多次承擔並完成了國防科技重點項目和國家自然科學基金項目,獲部級科技進步獎9項,出版專著5部,在國內外學術刊物和會議上發表論文約150篇。

目錄

第1章 Ada語言導引
1.1 Ada語言的工程化發展史
1.1.1 提出需求
1.1.2 制定規格
1.1.3 語言設計
1.1.4 測試與驗證
1.1.5 Ada83出台
1.1.6 強制使用
1.1.7 維護與升級——Ada95的推出
1.1.8 強制政策的放棄
1.2 Ada組成結構
1.3 Ada語言特徵
1.4 Ada軟體開發工具與環境
1.5 Ada套用現狀
第2章 Ada語言對軟體工程的支持
2.1 軟體工程活動對程式語言的需要
2.2 可靠性問題
2.2.1 抽象對可靠性的貢獻
2.2.2 類型與強類型
2.2.3 信息隱藏
2.2.4 封裝
2.3 程式執行效率問題
2.4 可維護性問題
2.4.1 看似冗餘的代碼
2.4.2 詞法和語法
2.4.3 結構括弧
2.4.4 程式單元結構相似性
2.4.5 程式單元體同規格說明的分離
2.5 大型軟體的構造能力和程式沒汁效率問題
2.5.1 類屬化(參數化)
2.5.2 類型擴展(繼承)
2.5.3 單元擴展(層次庫結構)
2.5.4 類型組裝(聚合)
第3章 Ada小型軟體的構造
3.1 Ada語言慨述
3.1.1 系統與構成
3.1.2 詞法元素
3.1.3 分隔設定和定界符
3.1.4 注釋與編用
3.1.5 標識符
3.1.6 保留字
3.1.7 數值與字元的字面量
3.1.8 數據與類型
3.1.9 語句與控制
3.1.10 單元與結構
3.2 Ada數據類型
3.2.1 標量類型
3.2.2 組合類型
3.2.3 訪問類型
3.2.4 方法學類型
3.3 Ada控制結構
3.3.1 順序控制結構
3.3.2 循環控制結構
3.3.3 選擇控制結構
3.4 Ada程式單元
3.4.1 子程式
3.4.2 程式包
3.4.3 類屬單元
第4章 Ada大型軟體的構造
4.1 Ada程式結構
4.1.1 系統結構
4.1.2 部件(主題)結構
4.1.3 單元結構
4.2 程式包套用形式
4.2.1 程式包用於封裝一組邏輯上相關的實體
4.2.2 程式包用於封裝抽象數據類型
4.2.3 程式包用於封裝抽象狀態機
4.2.4 類型化狀態機
4.3 名字空間的管理
4.3.1 作用域和可見性
4.3.2 非直接可見的成分命名
4.3.3 邏輯上重栽命名
4.3.4 嵌套命名的掩蔽
4.3.5 冗長和衝突的實體換名
4.4 分別編譯結構
4.4.1 單元的分離結構
4.4.2 庫單元
4.4.3 子單元
4.4.4 編譯順序
4.5 層次單元結構
4.5.1 公有子庫單元
4.5.2 私有子庫單元
4.6 大型系統結構
4.6.1 自頂向下開發
4.6.2 由底向上開發
4.6.3 面向對象開發
4.6.4 基於軟體體系結構的開發
第5章 Ada並發軟體的構造
5.1 Ada任務的形式
5.2 任務間的通信與同步
5.2.1 會合機制
5.2.2 任務的專用語句
第6章 Ada83基於對象的軟體構造
第7章 Ada95面向對象軟體的構造
第8章 Ada軟體的圖式設計方法
第9章 Ada軟體開發工具與環境(一)
第10章 Ada軟體開發工具與環境(二)
第11章 基於Ada的軟體體系結構描述

前言

雖然Ada是一個通用的程式語言,但Ada語言的主要設計目的是支持長壽命、高可靠軟體系統的開發,因而不能簡單地將Ada語言作為一個程式語言對待。Ada語言只有同正確的軟體工程方法學結合使用,才能充分發揮其優點。本書的內容就是闡述Ada語言工具和Ada軟體工程的開發技術及方法,以總結我們自己有關Ada語言、工具、方法的研究和技術成果,併兼顧國內外的有關研究和套用經驗。本書中既有就Ada語言深入探討的內容,又有就同樣問題同其它流行語言的比較。重點在Ada語言對軟體工程的支持、Aria大型軟體構造、Ada面向對象軟體構造、圖式Ada軟體開發技術、Ada軟體開發工具和環境。

相關詞條

熱門詞條

聯絡我們