軟件工程化

第一部分 軟件工程化基礎(chǔ)
第1章 緒論
1.1 軟件無處不在
1.2 計算機(jī)器的發(fā)展
1.2.1 手動計算裝置
1.2.2 自動計算裝置
1.2.3 圖靈理論計算機(jī)
1.2.4 電子計算機(jī)的大規(guī)模生產(chǎn)和應(yīng)用
1.3 軟件藝術(shù)、工程與產(chǎn)業(yè)
1.3.1 從程序到軟件
1.3.2 程序設(shè)計藝術(shù)
1.3.3 軟件工程側(cè)面
1.3.4 軟件產(chǎn)業(yè)化
1.4 軟件工程歷程
1.5 本書的組織
參考文獻(xiàn)
第2章 基于計算機(jī)的系統(tǒng)
2.1 基于計算機(jī)的系統(tǒng)組成和特征
2.1.1 系統(tǒng)的組成
2.1.2 系統(tǒng)故障
2.1.3 硬件的連續(xù)性
2.1.4 軟件的離散性
2.1.5 人的特征與管理
2.1.6 固件與嵌入式系統(tǒng)
2.2 硬件特征和系統(tǒng)建造理念
2.2.1 硬件的故障特征
2.2.2 硬件系統(tǒng)的全生命周期設(shè)計
2.2.3 硬件生產(chǎn)質(zhì)量的統(tǒng)計學(xué)控制
2.3 軟件故障和建造理念
2.3.1 軟件故障表現(xiàn)和分類
2.3.2 程序正確性證明
2.3.3 測試的充分性問題
2.3.4 代碼復(fù)用
2.3.5 部件組裝
2.4 使用者的錯誤與避免
2.4.1 操作員的錯誤
2.4.2 人的信息處理模型
2.4.3 操作錯誤的避免
2.5 本章小結(jié)
參考文獻(xiàn)
第3章 軟件開發(fā)過程
3.1 程序開發(fā)基本過程
3.1.1 一個簡單的程序開發(fā)例子
3.1.2 程序開發(fā)庫和復(fù)用
3.2 從程序開發(fā)到軟件工程化過程
3.2.1 軟件開發(fā)的活動
3.2.2 大型軟件開發(fā)的管理
3.3 中間產(chǎn)品驅(qū)動的過程
3.3.1 中間產(chǎn)品驅(qū)動的過程
3.3.2 中間產(chǎn)品的意義
3.4 瀑布式還是迭代式
3.4.1 增量式模型
3.4.2 漸進(jìn)式模型
3.4.3 螺旋式模型
3.5 軟件產(chǎn)品的開發(fā)過程
3.5.1 策略和原則的建立
3.5.2 定義產(chǎn)品和開發(fā)過程
3.5.3 開發(fā)產(chǎn)品與裝箱
3.5.4 與黑客方法的差別
3.5.5 方法的優(yōu)點
3.6 計算機(jī)輔助與模型驅(qū)動的軟件工程
3.6.1 計算機(jī)輔助軟件工程與工具
3.6.2 模型驅(qū)動的軟件工程
3.7 本章小結(jié)
參考文獻(xiàn)
……
第二部分 各階段的工程化
第三部分 過程管理與改進(jìn)
第四部分 任務(wù)與安全關(guān)鍵行業(yè)軟件工程化
第五部分 網(wǎng)絡(luò)、信息、開放、開源與復(fù)雜巨系統(tǒng)工程化