軟件并行開發(fā)過程

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