Ada軟件開發(fā)技術(shù)

前言

　　雖然Ada是一個(gè)通用的編程語言，但Ada語言的主要設(shè)計(jì)目的是支持長壽命、高可靠軟件系統(tǒng)的開發(fā)，因而不能簡單地將Ada語言作為一個(gè)編程語言對(duì)待。Ada語言只有同正確的軟件工程方法學(xué)結(jié)合使用，才能充分發(fā)揮其優(yōu)點(diǎn)。本書的內(nèi)容就是闡述Ada語言工具和Ada軟件工程的開發(fā)技術(shù)及方法，以總結(jié)我們自己有關(guān)Ada語言、工具、方法的研究和技術(shù)成果，并兼顧國內(nèi)外的有關(guān)研究和應(yīng)用經(jīng)驗(yàn)。本書中既有就Ada語言深入探討的內(nèi)容，又有就同樣問題同其它流行語言的比較。重點(diǎn)在Ada語言對(duì)軟件工程的支持、Aria大型軟件構(gòu)造、Ada面向?qū)ο筌浖?gòu)造、圖式Ada軟件開發(fā)技術(shù)、Ada軟件開發(fā)工具和環(huán)境?！　”緯赏跽褡峙c粱先忠合著。王振宇給出全書的大綱，并執(zhí)筆撰寫第1，2，7，9，10章。梁先忠撰寫第3，4，6革，二人合作撰寫第8，11章． 趙恒撰寫了第5章， 第7章7.5節(jié)和第10章10.5.8節(jié)的初稿。第7章的前4節(jié)參考了北京系統(tǒng)工程研究所姜靜波等同志的編寫稿。全書最后由壬振宇統(tǒng)稿?！　≈孕牡馗兄x對(duì)這十幾年的研究T作給予大力支持和鼓勵(lì)的汪成為院士和董蘊(yùn)美院士、北京大學(xué)許卓群教授、北京系統(tǒng)工程研究所的何新貴研究員、姜靜波研究員和已經(jīng)不幸去世的史畏三研究員；還要感謝曾作為作者王振宇的研究生參加過有關(guān)研究工作的臧小林、徐寶文、趙一心、馬小東、曹萬華、袁文軍、黃立波、趙恒、張立、況銀瓶、池志強(qiáng)等。實(shí)際上，本書部分章節(jié)都涉及他們的研究工作和發(fā)表的論文?！　「兄x國防科技圖書出版基金評(píng)審委員會(huì)對(duì)本書出版的資助?！　∽髡摺　?000年3月于武漢

內(nèi)容概要

　　《Ada軟件開發(fā)技術(shù)》系統(tǒng)闡述國內(nèi)外（包括作者所在群體）在Ada軟件開發(fā)方法、技術(shù)、工具和環(huán)境方面的成果，重點(diǎn)在Ada語言對(duì)軟件工程的支持、大型軟件的構(gòu)造、面向?qū)ο筌浖?gòu)造、圖式軟件開發(fā)方法和作者近期提出的A型對(duì)象。作者的有些成果屬首次發(fā)表。Ada語言是為開發(fā)高可靠和長壽命軟件系統(tǒng)而設(shè)計(jì)的?！　　禔da軟件開發(fā)技術(shù)》可供從事高可靠和長壽命軟件系統(tǒng)的設(shè)計(jì)開發(fā)、軟件工程技術(shù)、計(jì)算機(jī)程序語言的專業(yè)人員、高等院校的教師參考，也可作為博士、碩士研究生的參考書。

作者簡介

　　王振宇，1936年生于河南大康。1956年畢業(yè)于武漢大學(xué)數(shù)學(xué)系。早年從事函數(shù)論研究。1970年以來從事計(jì)算機(jī)科學(xué)和軟件研究?，F(xiàn)任中國船舶重工集團(tuán)七院七零九研究所研究員，博士生導(dǎo)師，所技術(shù)顧問，武漢計(jì)算機(jī)軟件工程學(xué)會(huì)副理事長，中國科學(xué)院軟件研究所兼職研究員。主攻方向：Ada語言、軟件工程、軟件開發(fā)工具和環(huán)境、算法復(fù)雜性分析及有關(guān)數(shù)學(xué)工具、軟件復(fù)雜性度量。他多次承擔(dān)并完成了國防科技重點(diǎn)項(xiàng)目和國家自然科學(xué)基金項(xiàng)目，獲部級(jí)科技進(jìn)步獎(jiǎng)9項(xiàng)，出版專著5部，在國內(nèi)外學(xué)術(shù)刊物和會(huì)議上發(fā)表論文約150篇?！　×合戎?，1959年生于武漢市。1982年畢業(yè)于大連海運(yùn)學(xué)院自動(dòng)化計(jì)算機(jī)系。1988年獲中國艦船研究院碩士學(xué)位?，F(xiàn)任中國船舶重工集團(tuán)七院七零九研究所副研究員。他長期研究Ada語言及程序設(shè)計(jì)方法學(xué)、軟件工具與環(huán)境。作為主要參與者，其研制的Ada軟件開發(fā)環(huán)境獲中國船舶工業(yè)總公司科技進(jìn)步獎(jiǎng)二等獎(jiǎng)，他撰寫的學(xué)術(shù)論文曾被在美國SanJose召開的TRI-Ada’91國際會(huì)議錄用。由他主持的神圖軟件開發(fā)環(huán)境（神圖C++/Fortran）連續(xù)兩年獲得中國軟件行業(yè)推薦的優(yōu)秀軟件產(chǎn)品獎(jiǎng)（1994年、1995年）。

書籍目錄

一，Ada語言導(dǎo)引
二，Ada語言對(duì)軟件工程的支持
三，Ada小型軟件的構(gòu)造
四，Ada大型軟件的構(gòu)造
五，Ada并發(fā)軟件的構(gòu)造
六，Ada83基于對(duì)象的軟件構(gòu)造
七，Ada95面向?qū)ο筌浖臉?gòu)造
八，Ada軟件的圖式設(shè)計(jì)方法
九，Ada軟件開發(fā)工具與環(huán)境（一）
十，Ada軟件開發(fā)工具與環(huán)境（二）
十一，基于Ada的軟件體系結(jié)構(gòu)描述

章節(jié)摘錄

　　Ada是由美國國防部主持研制的一個(gè)大型通用過程性程序設(shè)計(jì)語言，它是世界上唯一由政府組織并按規(guī)定的需求和嚴(yán)格的軟件工程原理研制的語言，是唯一經(jīng)過世界范圍眾多的計(jì)算機(jī)科學(xué)家共同參與并得到工業(yè)界承認(rèn)和響應(yīng)的語言，是唯一必須經(jīng)過嚴(yán)格測(cè)試并確認(rèn)之后才能使用的標(biāo)準(zhǔn)語言。同其它程序設(shè)計(jì)語言相比，它的發(fā)展史是獨(dú)特的，可以概括為：　　■Ada語言的設(shè)計(jì)是一項(xiàng)工程，其發(fā)展史是一部工程史；　　■Ada的發(fā)展史的大部分時(shí)間里，有政府的干預(yù)；　　■Ada的發(fā)展又非常鮮明地體現(xiàn)了技術(shù)的推動(dòng)?！　≡谶@3點(diǎn)里，第一點(diǎn)更突出，以下我們就按照工程史的方式來描述Ada語言的發(fā)展過程，而將政府的干預(yù)和技術(shù)的推動(dòng)融入到里面?！　?.1.1 提出需求　　從1968年到1973年，美國國防部已經(jīng)注意到大型防務(wù)系統(tǒng)的軟件費(fèi)用有不斷攀升的趨勢(shì)：雖硬件開支大幅度地減少，美國國防部用于計(jì)算機(jī)系統(tǒng)的直接開支仍然增加了51%。經(jīng)過多方面的調(diào)查研究和分析，對(duì)于由系統(tǒng)延期交付、軟件不可靠以及費(fèi)用超支等情況察覺到拙劣管理的影響，殘酷的現(xiàn)實(shí)才逐步使人們將大型軟件開發(fā)的問題提到應(yīng)有的高度來認(rèn)識(shí)，達(dá)成共識(shí)。

圖書封面

評(píng)論、評(píng)分、閱讀與下載

---

    Ada軟件開發(fā)技術(shù) PDF格式下載

---