軟件并行開(kāi)發(fā)過(guò)程

定　價(jià)：￥22.00

作　者：	李彤等著
出版社：	科學(xué)出版社
叢編項(xiàng)：
標(biāo)　簽：	暫缺

購(gòu)買這本書(shū)可以去

ISBN：	9787030120076	出版時(shí)間：	2003-08-01	包裝：	平裝
開(kāi)本：		頁(yè)數(shù)：	196	字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

　　軟件過(guò)程是軟件產(chǎn)品開(kāi)發(fā)成功與否的關(guān)鍵性因素。軟件過(guò)程能力的成熟度如何已成為衡量一個(gè)軟件企業(yè)整體有效性的關(guān)鍵性尺度。本書(shū)借鑒了制造業(yè)并行工程的思想，將其引入到計(jì)算機(jī)軟件工程中，以軟件開(kāi)發(fā)過(guò)程中的并行性為研究對(duì)象，通過(guò)盡量使軟件開(kāi)發(fā)并行進(jìn)行，來(lái)達(dá)到提高軟件生產(chǎn)率的目的；通過(guò)優(yōu)化改善軟件開(kāi)發(fā)過(guò)程，來(lái)達(dá)到提高軟件質(zhì)量的目的。軟件工程界長(zhǎng)期存在軟件生產(chǎn)率低下、軟件質(zhì)量欠佳兩大難題。究其原因，同軟件過(guò)程有很大的關(guān)系。本書(shū)所討論的軟件并行開(kāi)發(fā)借鑒了制造業(yè)并行工程的思想，讓軟件開(kāi)發(fā)過(guò)程中具備并行條件的各種粒度不同的成分（包括過(guò)程、階段、活動(dòng)、任務(wù)等）并行進(jìn)行，達(dá)到加快軟件開(kāi)發(fā)速度的目的。正如硬件運(yùn)算能力的顯著提高是由串行轉(zhuǎn)向并行所引發(fā)的，我們認(rèn)為軟件并行開(kāi)發(fā)是提高軟件生產(chǎn)率最具有潛力的途徑之一。軟件并行開(kāi)發(fā)要求在早期階段考慮下游的階段與過(guò)程，支持軟件需求分析、設(shè)計(jì)與下游各階段并行交叉進(jìn)行，強(qiáng)調(diào)各并行成分的相對(duì)獨(dú)立，支持各并行成分之間的經(jīng)常交互，從而改善了軟件過(guò)程。盡早考慮下游因素，有利于減少反復(fù)次數(shù)、提高上游結(jié)果的質(zhì)量，達(dá)到優(yōu)化分析和設(shè)計(jì)的目的。因此，軟件并行開(kāi)發(fā)對(duì)于提高軟件質(zhì)量也是有希望的突破口。本書(shū)是國(guó)內(nèi)第一部討論并行地開(kāi)發(fā)軟件的學(xué)術(shù)專著，是作者在多項(xiàng)自然科學(xué)基金支持下長(zhǎng)期研究成果的總結(jié)。本書(shū)對(duì)可并行的軟件過(guò)程及其模型、并行成分劃分、并行性挖掘與延拓、并行控制、測(cè)試與集成技術(shù)、計(jì)算機(jī)輔助軟件并行開(kāi)發(fā)、軟件開(kāi)發(fā)過(guò)程的自動(dòng)化等方面進(jìn)行了研究，系統(tǒng)地討論了相關(guān)的概念、原理、方法、技術(shù)和工具，討論了軟件并行開(kāi)發(fā)對(duì)CMMI的支持。本書(shū)可以作為計(jì)算機(jī)專業(yè)研究生和高年級(jí)本科生的教材和教學(xué)參考書(shū)，也可供從事軟件工程的科技人員使用和參考。

作者簡(jiǎn)介

暫缺《軟件并行開(kāi)發(fā)過(guò)程》作者簡(jiǎn)介

圖書(shū)目錄

第1章  緒論
  1．1  軟件并行開(kāi)發(fā)的提出
  1．1．1  傳統(tǒng)軟件工程面臨的問(wèn)題
  1．1．2  來(lái)自制造業(yè)的啟示
  1．1．3  來(lái)自其他領(lǐng)域的啟示
  1．2  軟件并行開(kāi)發(fā)研究的現(xiàn)狀
  1．3  軟件并行開(kāi)發(fā)研究的內(nèi)容及意義
  1．3．1  研究?jī)?nèi)容
  1．3．2  意義
  1．4  軟件并行開(kāi)發(fā)支持工具
  1．4．1  CASE系統(tǒng)
  1．4．2  第四代語(yǔ)言
  1．5  Petri網(wǎng)簡(jiǎn)介
  1．6  軟件并行開(kāi)發(fā)與CMMI
  參考文獻(xiàn)
第2章  軟件過(guò)程
  2．1  軟件并行開(kāi)發(fā)的軟件生存周期模型
  2．1．1  傳統(tǒng)的軟件生存周期模型
  2．1．2  并發(fā)開(kāi)發(fā)模型
  2．1．3  軟件并行開(kāi)發(fā)的軟件生存周期模型
  2．2  軟件過(guò)程中的并行性
  2．2．1  軟件過(guò)程與軟件過(guò)程模型
  2．2．2  軟件生存周期中的并行性分析
  2．2．3  軟件過(guò)程模型
  2．2．4  一個(gè)SDDM模型的實(shí)例
  2．2．5  SDDML語(yǔ)言
  2．2．6  基于SODML的過(guò)程建模方法
  2．2．7  軟件開(kāi)發(fā)過(guò)程的進(jìn)化
  2．3  軟件并行開(kāi)發(fā)中的應(yīng)用技術(shù)
  2．4  軟件并行開(kāi)發(fā)的項(xiàng)目管理
  2．4．1  人員
  2．4．2  問(wèn)題
  2．4．3  過(guò)程
  2．5  軟件并行開(kāi)發(fā)過(guò)程對(duì)CMMI過(guò)程域的支持
  參考文獻(xiàn)
第3章  軟件并行開(kāi)發(fā)成分劃分
  3．1  劃分準(zhǔn)則和約束
  3．2  基于Petri網(wǎng)的系統(tǒng)劃分
  3．2．1  系統(tǒng)模型和增強(qiáng)型關(guān)系
  3．2；2  系統(tǒng)劃分方法
  3．3  基于腳本的系統(tǒng)劃分
  3．3．1  基于腳本的需求模型
  3．3．2  基于腳本的系統(tǒng)劃分
  3．4  并行性挖掘
  3．4．1  活動(dòng)間相關(guān)性分析
  3．4．2  軟件過(guò)程模型的構(gòu)造
  3．5  并行性延拓
  3．5．1  活動(dòng)內(nèi)并行性挖掘
  3．5．2  劃分塊之間的相關(guān)關(guān)系判別
  3．5．3  并行性延拓
  3．6  并行性挖掘與延拓示例
  3．7  并行成分劃分技術(shù)在CMMI過(guò)程域中的作用
  參考文獻(xiàn)
第4章  軟件過(guò)程并行控制
  4．1  并行控制的必要性
  4．2  并行控制模型
  4．2．1  基于Petri網(wǎng)的并行控制模型CCM
  4．2．2  基元塊
  4．2．3  CCM模型的建立
  4．2．4  一個(gè)CCM的例子
  4．3  計(jì)算機(jī)輔助并行控制
  4．3．1  CCML語(yǔ)言
  4．3．2  基于CCM模型的計(jì)算機(jī)輔助并行控制
  4．4  基于C-P／T網(wǎng)的軟件并行開(kāi)發(fā)控制模型
  4．4．1  C-P／T控制網(wǎng)
  4．4．2  超類和并行控制
  4．4．3  消息傳遞與對(duì)象合作
  4．4．4  C-P／T并行控制網(wǎng)的產(chǎn)生
  4．5  基于開(kāi)發(fā)管程的并行控制
  4．6  并行控制模型對(duì)CMMI過(guò)程域的支持
  參考文獻(xiàn)
第5章  軟件測(cè)試過(guò)程
  5．1  軟件測(cè)試的原則和策略
  5．2  軟件測(cè)試過(guò)程模型
  5．3  并行進(jìn)行的單元測(cè)試
  5．3．1  基本單元測(cè)試方法
  5．3．2  FREE方法
  5．3．3  基于Petri網(wǎng)的單元測(cè)試
  5．4  集成測(cè)試
  5．4．1  基本集成測(cè)試方法
  5．4．2  FREE方法
  5．4．3  基于Petri網(wǎng)的集成測(cè)試
  5．5  軟件測(cè)試過(guò)程對(duì)CMMI過(guò)程域的支持
  參考文獻(xiàn)
第6章  計(jì)算機(jī)輔助軟件并行開(kāi)發(fā)
  6．1  CASCD系統(tǒng)結(jié)構(gòu)
  6．1．1  軟件并行開(kāi)發(fā)對(duì)CASCD的要求
  6．1．2  系統(tǒng)功能
  6．1．3  系統(tǒng)總體結(jié)構(gòu)
  6．2  過(guò)程管理子系統(tǒng)
  6．3  CCML語(yǔ)言與SDDML語(yǔ)言
  6．3．1  系統(tǒng)結(jié)構(gòu)與功能
  6．3．2  模型的存儲(chǔ)結(jié)構(gòu)
  6．3．3  模型的可視化
  6．3．4  編譯程序
  6．3．5  模型驗(yàn)證
  6．3．6  模型修改
  6．4  配置管理
  6．4．1  配置數(shù)據(jù)庫(kù)
  6．4．2  版本控制
  參考文獻(xiàn)
第7章  軟件開(kāi)發(fā)過(guò)程的自動(dòng)化
  7．1  組合語(yǔ)義功能規(guī)約方法
  7．1．1  集成的必要性
  7．1．2  規(guī)約的結(jié)構(gòu)
  7．1．3  例子
  7．2  需求規(guī)約語(yǔ)言O(shè)ORSL
  7．2．1  設(shè)計(jì)思想
  7．2．2  主要語(yǔ)法成分
  7．2．3  一個(gè)實(shí)例
  7．3  OORSL向Java程序框架的轉(zhuǎn)換
  7．3．1  Java并行程序框架
  7．3．2  轉(zhuǎn)換機(jī)制
  7．3．3  翻譯器
  7．3．4  語(yǔ)義處理
  7．4  形式化軟件功能分解的交互式規(guī)則
  7．4．1  功能分解的結(jié)構(gòu)
  7．4．2  交互式分解規(guī)則
  7．5  基于知識(shí)的形式化軟件設(shè)計(jì)技術(shù)
  7．5．1  知識(shí)庫(kù)結(jié)構(gòu)
  7．5．2  系統(tǒng)結(jié)構(gòu)
  7．5．3  設(shè)計(jì)過(guò)程
  參考文獻(xiàn)