軟體工程——技術、方法與環境，作者是王立福 張世琨 朱冰，由北京大學出版社出版，是講述了軟體工程的基本內容，包括基本概念、基本模型、基本方法及相應的支持工具的書籍。
基本介紹
圖書簡介,內容簡介,內容截圖,目錄,
圖書簡介
內容簡介
本書是在北京大學計算機科學技術系使用的軟體工程講義的基礎上，由主講、主考教師編寫而成的，既是北京大學計算機系本科生指定教材，也是北京市高等教育自學考試指定教材。
本書結合國內外軟體工程的發展，特別是國家“八五”攻關成果。本書注重基礎知識的系統性，同時注意選材的先進性，內容全面、層次清楚。
本書結合國內外軟體工程的發展，特別是國家“八五”攻關成果。本書注重基礎知識的系統性，同時注意選材的先進性，內容全面、層次清楚。
內容截圖
目錄
- 第一章 軟體工程概論
1．1 軟體工程概念
1．2 軟體工程框架
第二章 軟體開發模型
2．1 瀑布模型
2．2 演化模型
2．3 螺旋模型
2．4 噴泉模型
2．5 增量模型
第三章 需求分析
3．1 需求獲取
3．1．1 需求獲取的內容
3．1．2 需求獲取應遵循的原則
3．1．3 需求獲取採用的技術
3．2 結構化分析方法
3．2．1 模型表示
3．2．2 實施步驟
3．3 需求驗證
3．4 需求分析文檔
3．5 實例研究
.第四章 總體設計
4．1 總體設計的任務
4．2 總體設計的表示形式
4．2．1 層次圖
4．2．2 hipo圖
4．2．3 結構圖
4．3 總體設計的方法
4．3．1 數據流圖的類型
4．3．2 設計步驟
4．4 好的設計的準則
4．5 啟發式規則
4．6 設計最佳化
4．7 ××××××系統軟體設計說明書
第五章 詳細設計
5. 1 結構化程式設計
5．2 詳細設計的工具
5．2．1 程式流程圖
5．2．2 企圖(n－s圖)
5．2．3 pad圖
5．2．4 類程式設計語言(pdl)
第六章 面向對象分析
6．1 面向對象技術概述
6．1．1 面向對象技術的歷史、現狀和發展
6．1．2 一些基本概念
6．1．3 同結構化方法的比較
6．2 標識類及對象
6．2．1 為什麼要標識類及對象
6. 2. 2 如何表示類及對象
6．3 標識結構
6．3．1 為什麼要標識結構
6．3．2 如何標識一般/特殊結構
6．3．3 如何標識整體/部分結構
6．4 標識主題
6．4．1 為什麼要標識主題
6．4．2 如何標識主題
6．5 定義屬性
6．5．1 為什麼要定義屬性
6．5．2 如何定義屬性
6．6 定義服務
6．6．1 為什麼要定義服務
6．6．2 如何定義服務
6．7 面向對象分析文檔
6．7．1 文檔內容
6．7．2 模型檢查
第七章 面向對象設計
7．1 從 ooa到 ood
7．2 問題域部分的設計
7．2．1 為什麼需要問題域部分的設計
7．2．2 如何進行問題域部分的設計
7．3 人機互動部分的設計
7．3．1 為什麼需要人機互動部分
7．3．2 如何設計人機互動部分
7．4 任務管理部分的設計
7．4．1 為什麼需要有任務管理部分
7．4．2 怎樣設計任務管理部分
7．5 數據管理部分的設計
7．5．1 為什麼需要數據管理部分
7．5．2 如何設計數據管理部分
第八章 osa方法簡介
8．1 osa的對象關係模型(orm)
8．1．1 基本的模型化概念
8．1．2 特殊的關係集合
8．1．3 特殊對象類、資格條件、注釋
8．1．4 對象關係模型小結
8．2 對象行為模型
8．2．1 基本概念及概念模型化
8．2．2 狀態網
8．2．3 對象行為模型小結
8．3 對象互動模型
8．3．1 基本的對象互動
8．3．2 特殊類型互動的描述
8．3．3 互動的約束、繼承
8．3．4 對象互動模型小結
第九章 軟體測試
9．1 軟體測試目標與軟體測試過程模型
9．1．1 軟體測試目標
9．1．2 測試過程模型
9．2 軟體測試技術
9．2．1 路徑測試技術
9．2．2 事務處理流程測試技術
9．3 軟體測試步驟
9．3．1 單元測試
9．3．2 集成測試
9．3．3 有效性測試
9．3．4 軟體測試與程式正確性證明
9．4 程式證明技術
第十章 軟體過程
10．1 基本過程
10．2 支持過程
10．2．1 文檔過程
10．2．2 配置管理過程
10．2．3 質量保證過程
10．2．4 驗證過程
10．2．5 確認過程
10．2．6 聯合評審過程
10．2．7 審計過程
10．2．8 問題解決過程
10．3 組織過程
10．4 剪裁過程和過程模型建造技術
10．4．1 剪裁過程
10．4．2 過程建模技術簡介
第十一章 計算機輔助軟體工程case
11．1 case綜述
11．1．1 什麼是 case
11．1．2 case分類
11．1．3 集成化 case
11．1．4 case生命周期
11．2 case工作檯
11．2．1 case工作檯概述
11．2．2 程式設計工作檯
11．2．3 分析和設計工作檯
11．2．4 測試工作檯
11．2．5 元－case工作檯
11．3 軟體工程環境
11．3．1 軟體工程環境概述
11．3．2 集成環境
11．3．3 平台服務
11．3．4 框架服務
11．3．5 pcte
11．4 大型軟體開發環境青鳥系統簡介
11．4．1 綜述
11．4．2 jb2系統介紹
