軟件工程化

定　價(jià)：￥69.00

作　者：	王安生著
出版社：	清華大學(xué)出版社
叢編項(xiàng)：	高等學(xué)校計(jì)算機(jī)專業(yè)規(guī)劃教材
標(biāo)　簽：	工學(xué) 教材研究生/本科/專科教材

購(gòu)買這本書(shū)可以去

ISBN：	9787302351115	出版時(shí)間：	2014-04-01	包裝：	平裝
開(kāi)本：	16開(kāi)	頁(yè)數(shù)：	610	字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

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

作者簡(jiǎn)介

暫缺《軟件工程化》作者簡(jiǎn)介

圖書(shū)目錄

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