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

第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)