本書介紹了軟件工程的有關(guān)概念、原理、方法、技術(shù)和相關(guān)法律法規(guī)，全書共10章，以軟件生存周期為主線，對軟件工程有關(guān)的分析、設(shè)計、驗證、維護和管理等方面內(nèi)容做了闡述。
第1章 緒論 1. 1 軟件工程的產(chǎn)生 1. 1. 1 軟件的特征 1. 1. 2 軟件危機的出現(xiàn) 1. 1. 3 軟件工程的提出 1. 2 軟件工程的研究對象與基本原理 1. 2. 1 軟件工程的研究對象 1. 2. 2 軟件工程的層次結(jié)構(gòu) 1. 2. 3 軟件工程的基本原理 1. 3 軟件開發(fā)方法 1. 3. 1 結(jié)構(gòu)化方法 1. 3. 2 面向?qū)ο蠓椒?1. 3. 3 形式化方法 1. 3. 4 結(jié)構(gòu)化方法. 面向?qū)ο蠓椒ê托问交椒ǖ慕Y(jié)合研究 1. 4 軟件工程工具和環(huán)境 1. 4. 1 軟件工具 1. 4. 2 CASE集成環(huán)境 1. 5 軟件工程常用生存周期模型 1. 5. 1 瀑布模型 1. 5. 2 快速原型化模型 1. 5. 3 快速應(yīng)用開發(fā)模型 1. 5. 4 漸增模型 1. 5. 5 螺旋模型 1. 6 軟件工程的并行工程 1. 6. 1 簇的基本概念 1. 6. 2 并行工程的提出 1. 6. 3 簇的基本步驟和任務(wù) 1. 6. 4 簇模型與并行工程 1. 6. 5 無縫開發(fā)和可逆性的基本概念 1. 7 小結(jié) 習(xí)題 第2章 需求分析 2. 1 需求分析的目標 2. 2 可行性分析 2. 2. 1 可行性分析的內(nèi)容 2. 2. 2 可行性分析的基本步驟 2. 2. 3 系統(tǒng)流程圖 2. 3 需求收集 2. 3. 1 需求收集的內(nèi)容 2. 3. 2 需求收集的方法 2. 4 需求規(guī)格說明 2. 5 數(shù)據(jù)流建模 2. 5. 1 數(shù)據(jù)流圖中的常用符號 2. 5. 2 數(shù)據(jù)流圖的用途 2. 5. 3 數(shù)據(jù)詞典和加工說明 2. 6 實體-關(guān)系建模 2. 6. 1 實體-關(guān)系圖 2. 6. 2 基數(shù)和模態(tài) 2. 6. 3 實體-關(guān)系圖的例子 2. 7 系統(tǒng)行為建模 2. 7. 1 處理模型和控制模型的關(guān)系 2. 7. 2 一個控制流圖的例子 2. 7. 3 一個狀態(tài)轉(zhuǎn)移圖的例子 2. 8 IDEF0功能建模 2. 8. 1 IDEF0圖 2. 8. 2 IDEF0建模步驟 2. 8. 3 繪制活動圖形的注意事項 2. 9 IDEFlX數(shù)據(jù)建模 2. 9. 1 IDEF1X圖 2. 9. 2 IDEF1X建模步驟 2. 10 面向?qū)ο蠼?2. 10. 1 面向?qū)ο蠼５陌l(fā)展 2. 10. 2 面向?qū)ο蠡A(chǔ) 2. 10. 3 面向?qū)ο蠓治瞿Ｐ?2. 10. 4 對象模型的建立 2. 10. 5 行為模型的建立 2. 10. 6 功能模型的建立 2. 11 統(tǒng)一建模語言UML 2. 11. 1 UML的基本實體 2. 11. 2 UML的目標 2. 11. 3 UML的范疇 2. 11. 4 UML圖的使用實例 2. 12 小結(jié) 習(xí)題 第3章 概要設(shè)計 3. 1 概要設(shè)計的任務(wù)和過程 3. 1. 1 數(shù)據(jù)設(shè)計 對象設(shè)計 3. 1. 2 軟件結(jié)構(gòu)設(shè)計 子系統(tǒng)設(shè)計 3. 1. 3 接口設(shè)計 消息設(shè)計 3. 1. 4 過程設(shè)計 方法設(shè)計 3. 2 軟件設(shè)計基本原則 3. 2. 1 抽象與求精 3. 2. 2 模塊化和信息隱藏 3. 2. 3 模塊獨立性 3. 3 面向數(shù)據(jù)流圖的設(shè)計方法 3. 3. 1 軟件結(jié)構(gòu)的圖形表示 3. 3. 2 數(shù)據(jù)流分析 3. 3. 3 事務(wù)分析 3. 3. 4 軟件結(jié)構(gòu)的改進 3. 4 面向?qū)ο蟮脑O(shè)計方法 3. 4. 1 軟件復(fù)用 3. 4. 2 面向?qū)ο笤O(shè)計 3. 5 小結(jié) 習(xí)題 第4章 詳細設(shè)計 4. 1 詳細設(shè)計的目標與任務(wù) 4. 1. 1 詳細設(shè)計的目標 4. 1. 2 詳細設(shè)計的任務(wù) 4. 2 結(jié)構(gòu)化程序的詳細設(shè)計技術(shù)與工具 4. 2. 1 結(jié)構(gòu)化程序的詳細設(shè)計技術(shù) 4. 2. 2 結(jié)構(gòu)化程序的詳細設(shè)計工具 4. 3 Jackson程序設(shè)計方法 4. 3. 1 Jackson圖 4. 3. 2 Jackson偽代碼 4. 3. 3 Jackson程序設(shè)計方法的步驟 4. 4 Warnier程序設(shè)計方法 4. 4. 1 Wariner圖 4. 4. 2 Wariner程序設(shè)計步驟 4. 5 面向?qū)ο蟪绦虻脑敿氃O(shè)計 4. 5. 1 面向?qū)ο蟪绦虻奶匦?4. 5. 2 設(shè)計原則 4. 6 基于組件的程序設(shè)計方法 4. 6. 1 三層應(yīng)用體系結(jié)構(gòu) 4. 6. 2 CORBA對象總線技術(shù) 4. 6. 3 COM對象總線技術(shù) 4. 6. 4 組件庫技術(shù) 4. 7 小結(jié) 習(xí)題 第5章 軟件驗證技術(shù) 5. 1 軟件測試基礎(chǔ) 5. 1. 1 測試觀點 5. 1. 2 測試原則 5. 1. 3 測試
書單推薦
