軟件工程基礎(chǔ)（第2版國(guó)外經(jīng)典教材）

定　價(jià)：￥55.00

作　者：	（意）Carlo Ghezzi，（意）Mehdi Jazayeri，（意）Dino Mandrioli著；施平安譯；施平安譯
出版社：	清華大學(xué)出版社
叢編項(xiàng)：	國(guó)外經(jīng)典教材
標(biāo)　簽：	暫缺

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

ISBN：	9787302072027	出版時(shí)間：	2003-09-01	包裝：	平裝
開(kāi)本：	26cm	頁(yè)數(shù)：	444	字?jǐn)?shù)：

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

　　本書(shū)介紹了軟件工程的基本原則，說(shuō)明了這些原則在軟件開(kāi)發(fā)的不同階段的應(yīng)用，強(qiáng)調(diào)了嚴(yán)格的方法對(duì)軟件工程實(shí)踐的重要性。全書(shū)提供了350多個(gè)練習(xí)，以幫助理解書(shū)中的資料。20多個(gè)全面深入的案例分析說(shuō)明了如何應(yīng)對(duì)現(xiàn)實(shí)問(wèn)題的復(fù)雜性。本書(shū)體現(xiàn)了我們使用基本原理的信條以及理論在工程實(shí)踐中的重要性。我們同時(shí)在大學(xué)和各方面軟件工程專業(yè)課中使用過(guò)書(shū)中的材料。本書(shū)通過(guò)嚴(yán)格的形式化方法和非形式化方法闡述了軟件工程原則和方法的重要性，有選擇地介紹了軟件工程基礎(chǔ)；強(qiáng)調(diào)并確定了適用于整個(gè)軟件生命期的基本原則，全面深入地介紹了這些基本原則在軟件設(shè)計(jì)、規(guī)范、驗(yàn)證、軟件生產(chǎn)過(guò)程和管理活動(dòng)中的運(yùn)用；書(shū)中提供了大量的練習(xí)和案例分析，既有助于理解書(shū)中介紹的理論知識(shí)，又可以讓讀者親身體驗(yàn)如何應(yīng)對(duì)復(fù)雜的實(shí)現(xiàn)問(wèn)題。本書(shū)可以作為大專院校計(jì)算機(jī)科學(xué)系和計(jì)算機(jī)工程系的本科生和研究生教材，也可以作為計(jì)算機(jī)軟件人員和計(jì)算機(jī)用戶的參考書(shū)。

作者簡(jiǎn)介

暫缺《軟件工程基礎(chǔ)（第2版國(guó)外經(jīng)典教材）》作者簡(jiǎn)介

圖書(shū)目錄

第1章軟件工程：預(yù)覽
1.1 軟件工程在系統(tǒng)設(shè)計(jì)中的作用
1.2 軟件工程簡(jiǎn)史
1.3 軟件工程師的作用
1.4 軟件生存期
1.5 軟件工程與計(jì)算機(jī)科學(xué)其他領(lǐng)域的關(guān)系
1.6 軟件工程與其他學(xué)科的關(guān)系
1.7 結(jié)束語(yǔ)
第2章軟件：性質(zhì)和質(zhì)量
2.1 軟件質(zhì)量分類
2.2 質(zhì)量代表
2.3 不同應(yīng)用領(lǐng)域的質(zhì)量需求
2.4 質(zhì)量的度量
2.5 結(jié)束語(yǔ)
第3章軟件工程原則
3.1 嚴(yán)格和形式化
3.2 相關(guān)分離
3.3 模塊化
3.4 抽象
3.5 變更預(yù)測(cè)
3.6 概括性
3.7 增量式
3.8 兩個(gè)說(shuō)明軟件工程原則的案例分析
3.9 結(jié)束語(yǔ)
第4章設(shè)計(jì)與軟件構(gòu)架
4.1 軟件設(shè)計(jì)活動(dòng)及其目標(biāo)
4.2 模塊化技術(shù)
4.3 異常處理
4.4 設(shè)計(jì)案例分析
4.5 并發(fā)軟件
4.6 面向?qū)ο笤O(shè)計(jì)
4.7 構(gòu)架和組件
4.8 結(jié)束語(yǔ)
第5章規(guī)范
5.1 規(guī)范的使用
5.2 規(guī)范的質(zhì)量
5.3 規(guī)范風(fēng)格分類
5.4 規(guī)范的驗(yàn)證
5.5 操作型規(guī)范
5.6 描述型規(guī)劃
5.7 規(guī)范構(gòu)建和使用實(shí)踐
5.8 結(jié)束語(yǔ)
第6章驗(yàn)證
6.1 驗(yàn)證的目標(biāo)和需求
6.2 驗(yàn)證方法
6.3 測(cè)試
6.4 分析
6.5 符號(hào)執(zhí)行
6.6 模型檢驗(yàn)
6.7 驗(yàn)證技術(shù)小結(jié)
6.8 調(diào)試
6.9 其他軟件特性的驗(yàn)證
6.1 結(jié)束語(yǔ)
第7章軟件生產(chǎn)過(guò)程
7.1 什么軟件過(guò)程模型
7.2 為什么軟件過(guò)程模型是重要的
7.3 軟件生產(chǎn)的主要活動(dòng)
7.4 軟件過(guò)程模型概述
7.5 處理遺留軟件
7.6 案例分析
7.7 過(guò)程組織
7.8 制品的組織：配置管理
7.9 軟件標(biāo)準(zhǔn)
7.1 結(jié)束語(yǔ)
第8章軟件工程管理
8.1 管理職能
8.2 項(xiàng)目計(jì)劃
8.3 項(xiàng)目控制
8.4 組織
8.5 風(fēng)險(xiǎn)管理
8.6 能力成熟度模型
8.7 結(jié)束語(yǔ)
第9章軟件工程工具和環(huán)境
9.1 工具和歷史演進(jìn)
9.2 軟件工具的比較因素
9.3 代表性工具
9.4 工具集成
9.5 影響工具演進(jìn)的力量
9.6 結(jié)束語(yǔ)
第1章后記
1.1 軟件工程的將來(lái)
1.2 職業(yè)道德和社會(huì)責(zé)任
1.3 軟件工程的職業(yè)道德準(zhǔn)則
1.4 結(jié)束語(yǔ)
附錄案例分析
案例分析A：律師事務(wù)所辦公自動(dòng)化
案例分析B：開(kāi)發(fā)一個(gè)編譯器族
案例分析C：增量或交付
案例分析D：形式化方法在工業(yè)中的應(yīng)用
結(jié)束語(yǔ)