軟件工程化

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