掃一掃
關注中圖網(wǎng)
官方微博
本類五星書更多>
-
>
全國計算機等級考試最新真考題庫模擬考場及詳解·二級MSOffice高級應用
-
>
決戰(zhàn)行測5000題(言語理解與表達)
-
>
軟件性能測試.分析與調優(yōu)實踐之路
-
>
第一行代碼Android
-
>
JAVA持續(xù)交付
-
>
EXCEL最強教科書(完全版)(全彩印刷)
-
>
深度學習
軟件工程基礎(第2版) 版權信息
- ISBN：7302072027
- 條形碼：9787302072027 ; 978-7-302-07202-7
- 裝幀：簡裝本
- 冊數(shù)：第2版
- 重量：暫無
- 所屬分類：>
軟件工程基礎(第2版) 本書特色
本書通過嚴格的形式化方法和非形式化方法闡述了軟件工程原則和方法的重要性，有選擇地介紹了軟件工程基礎；強調并確定了適用于整個軟件生命期的基本原則，全面深入地介紹了這些基本原則在軟件設計、規(guī)范、驗證、軟件生產過程和管理活動中的運用；書中提供了大量的練習和案例分析，既有助于理解書中介紹的理論知識，又可以讓讀者親身體驗如何應對復雜的實現(xiàn)問題。 本書可以作為大專院校計算機科學系和計算機工程系的本科生和研究生教材，也可以作為計算機軟件人員和計算機用戶的參考書。
軟件工程基礎(第2版) 內容簡介
本書介紹了軟件工程的基本原則，說明了這些原則在軟件開發(fā)的不同階段的應用，強調了嚴格的方法對軟件工程實踐的重要性。全書提供了350多個練習，以幫助理解書中的資料。20多個全面深入的案例分析說明了如何應對現(xiàn)實問題的復雜性。本書體現(xiàn)了我們使用基本原理的信條以及理論在工程實踐中的重要性。我們同時在大學和各方面軟件工程專業(yè)課中使用過書中的材料。
軟件工程基礎(第2版) 目錄
第1章 軟件工程：預覽
1.1 軟件工程在系統(tǒng)設計中的作用
1.2 軟件工程簡史
1.3 軟件工程師的作用
1.4 軟件生存期
1.5 軟件工程與計算機科學其他領域的關系
1.6 軟件工程與其他學科的關系
1.7 結束語
第2章 軟件：性質和質量
2.1 軟件質量分類
2.2 質量代表
2.3 不同應用領域的質量需求
2.4 質量的度量
2.5 結束語
第3章 軟件工程原則
3.1 嚴格和形式化
3.2 相關分離
3.3 模塊化
3.4 抽象
3.5 變更預測
3.6 概括性
3.7 增量式
3.8 兩個說明軟件工程原則的案例分析
3.9 結束語
第4章 設計與軟件構架
4.1 軟件設計活動及其目標
4.2 模塊化技術
4.3 異常處理
4.4 設計案例分析
4.5 并發(fā)軟件
4.6 面向對象設計
4.7 構架和組件
4.8 結束語
第5章 規(guī)范
5.1 規(guī)范的使用
5.2 規(guī)范的質量
5.3 規(guī)范風格分類
5.4 規(guī)范的驗證
5.5 操作型規(guī)范
5.6 描述型規(guī)劃
5.7 規(guī)范構建和使用實踐
5.8 結束語
第6章 驗證
6.1 驗證的目標和需求
6.2 驗證方法
6.3 測試
6.4 分析
6.5 符號執(zhí)行
6.6 模型檢驗
6.7 驗證技術小結
6.8 調試
6.9 其他軟件特性的驗證
6.10 結束語
第7章 軟件生產過程
7.1 什么軟件過程模型
7.2 為什么軟件過程模型是重要的
7.3 軟件生產的主要活動
7.4 軟件過程模型概述
7.5 處理遺留軟件
7.6 案例分析
7.7 過程組織
7.8 制品的組織：配置管理
7.9 軟件標準
7.10 結束語
第8章 軟件工程管理
8.1 管理職能
8.2 項目計劃
8.3 項目控制
8.4 組織
8.5 風險管理
8.6 能力成熟度模型
8.7 結束語
第9章 軟件工程工具和環(huán)境
9.1 工具和歷史演進
9.2 軟件工具的比較因素
9.3 代表性工具
9.4 工具集成
9.5 影響工具演進的力量
9.6 結束語
第10章 后記
10.1 軟件工程的將來
10.2 職業(yè)道德和社會責任
10.3 軟件工程的職業(yè)道德準則
10.4 結束語
附錄 案例分析
案例分析A：律師事務所辦公自動化
案例分析B：開發(fā)一個編譯器族
案例分析C：增量或交付
案例分析D：形式化方法在工業(yè)中的應用
結束語
1.1 軟件工程在系統(tǒng)設計中的作用
1.2 軟件工程簡史
1.3 軟件工程師的作用
1.4 軟件生存期
1.5 軟件工程與計算機科學其他領域的關系
1.6 軟件工程與其他學科的關系
1.7 結束語
第2章 軟件：性質和質量
2.1 軟件質量分類
2.2 質量代表
2.3 不同應用領域的質量需求
2.4 質量的度量
2.5 結束語
第3章 軟件工程原則
3.1 嚴格和形式化
3.2 相關分離
3.3 模塊化
3.4 抽象
3.5 變更預測
3.6 概括性
3.7 增量式
3.8 兩個說明軟件工程原則的案例分析
3.9 結束語
第4章 設計與軟件構架
4.1 軟件設計活動及其目標
4.2 模塊化技術
4.3 異常處理
4.4 設計案例分析
4.5 并發(fā)軟件
4.6 面向對象設計
4.7 構架和組件
4.8 結束語
第5章 規(guī)范
5.1 規(guī)范的使用
5.2 規(guī)范的質量
5.3 規(guī)范風格分類
5.4 規(guī)范的驗證
5.5 操作型規(guī)范
5.6 描述型規(guī)劃
5.7 規(guī)范構建和使用實踐
5.8 結束語
第6章 驗證
6.1 驗證的目標和需求
6.2 驗證方法
6.3 測試
6.4 分析
6.5 符號執(zhí)行
6.6 模型檢驗
6.7 驗證技術小結
6.8 調試
6.9 其他軟件特性的驗證
6.10 結束語
第7章 軟件生產過程
7.1 什么軟件過程模型
7.2 為什么軟件過程模型是重要的
7.3 軟件生產的主要活動
7.4 軟件過程模型概述
7.5 處理遺留軟件
7.6 案例分析
7.7 過程組織
7.8 制品的組織：配置管理
7.9 軟件標準
7.10 結束語
第8章 軟件工程管理
8.1 管理職能
8.2 項目計劃
8.3 項目控制
8.4 組織
8.5 風險管理
8.6 能力成熟度模型
8.7 結束語
第9章 軟件工程工具和環(huán)境
9.1 工具和歷史演進
9.2 軟件工具的比較因素
9.3 代表性工具
9.4 工具集成
9.5 影響工具演進的力量
9.6 結束語
第10章 后記
10.1 軟件工程的將來
10.2 職業(yè)道德和社會責任
10.3 軟件工程的職業(yè)道德準則
10.4 結束語
附錄 案例分析
案例分析A：律師事務所辦公自動化
案例分析B：開發(fā)一個編譯器族
案例分析C：增量或交付
案例分析D：形式化方法在工業(yè)中的應用
結束語
展開全部
書友推薦
- >
朝聞道
- >
詩經(jīng)-先民的歌唱
- >
小考拉的故事-套裝共3冊
- >
【精裝繪本】畫給孩子的中國神話
- >
二體千字文
- >
龍榆生：詞曲概論/大家小書
- >
人文閱讀與收藏·良友文學叢書:一天的工作
- >
伯納黛特,你要去哪(2021新版)
本類暢銷
