軟件工程化

定　價：￥69.00

作　者：	王安生著
出版社：	清華大學出版社
叢編項：	高等學校計算機專業(yè)規(guī)劃教材
標　簽：	工學教材研究生/本科/?？平滩?/td>

購買這本書可以去

ISBN：	9787302351115	出版時間：	2014-04-01	包裝：	平裝
開本：	16開	頁數(shù)：	610	字數(shù)：

內容簡介

　　《軟件工程化/高等學校計算機專業(yè)規(guī)劃教材》分為5部分，由淺入深地論述軟件工程化的基本理論及在工程實踐中的應用。第一部分基于計算機系統(tǒng)的故障特征、設計原則、軟件質量和可信賴性要求，討論軟件采購、銷售及維護過程，建立軟件工程化的基本要素；第二部分論述需求工程、軟件系統(tǒng)建模和圖示化表達、體系結構設計、軟件模式及應用、代碼工程以及軟件測試工程，討論各個階段的研制方法和質量；第三部分從系統(tǒng)工程觀點出發(fā)，論述了缺陷預測、質量控制、配置管理、軟件生產方式和效率、敏捷開發(fā)方法，以及軟件過程改進；第四部分結合案例討論了國防、航天、民用航空、鐵路與機動車等“任務與安全關鍵”的軟件工程過程及方法；第五部分論述了網(wǎng)絡、信息、開放、開源、全球化軟件工程以及當前所面臨的軟件密集和復雜巨系統(tǒng)的工程化發(fā)展和對策?！盾浖こ袒?高等學校計算機專業(yè)規(guī)劃教材》適合作為高校計算機專業(yè)及軟件工程專業(yè)相關課程的教材，也可供從事軟件開發(fā)工作的人員參考。

作者簡介

暫缺《軟件工程化》作者簡介

圖書目錄

第一部分軟件工程化基礎
第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)工程化