本書全面和系統地介紹了軟件需求工程的基本概念和原理，以及開發和管理軟件需求的方法和技術。此外，本書也介紹了軟件需求工程中的一些新方法和技術，并結合了許多典型實例。本書可作為本科生高年級和研究生的教材，也可供從事軟件開發工作和研究的專業人員參考和自學。
前言
教學建議
第1章需求工程概述
11需求工程的重要性
12什么是軟件需求
13軟件需求的分類
14需求規格說明
15需求工程定義
16其他一些基本概念
第2章軟件工程與需求工程
21軟件工程
22軟件開發過程模型
221瀑布式模型
222快速原型模型
223漸增式模型
224螺旋式模型
225敏捷模型
226基于組件的模型
23需求工程在軟件開發中的地位
231需求工程對軟件開發的影響
232需求工程面臨的困難
24軟件需求的開發和管理過程
第3章需求獲取
31確定需求開發計劃
32確定項目的目標和范圍
33確定調查對象
34實地收集需求信息
341實地收集需求信息面臨的困難
342實地調查的步驟
343實地收集需求信息的方式
344需求信息的分類
35確定非功能需求
36在收集需求信息中應注意的問題
37使用場景技術的需求獲取
371場景的定義及構成
372場景的表示
373場景的種類
374場景技術的特點
38基于用例的需求獲取
第4章需求分析
41建立系統關聯圖
42分析需求的可行性
43構建用戶接口原型
44確定需求的優先級
45需求建模
46建立數據詞典
第5章需求建模方法與技術
51什么是模型
52軟件工程中的模型
53結構化的需求建模方法
531SA方法的基本思想
532SA方法的描述手段
533示例說明
534SA方法的分析步驟
54面向對象的需求建模方法
541面向對象方法中的一些基本概念
542面向對象的需求分析
543OMT方法的圖形描述工具
544基于OMT方法的需求建模步驟
55基于圖形的需求建模技術
551UML概述
552用例圖
553活動圖
554協作圖
555實體關聯圖
第6章需求定義
61需求規格說明的作用
62需求規格說明的特性
63需求規格說明的結構和內容
64需求規格說明文檔的編寫要求
65需求規格說明的描述語言
第7章需求的形式化描述
71形式化規格說明及其方法
72形式化規格說明與軟件開發
73基于公理或推理規則的形式化規格說明
74基于代數的形式化規格說明…
75形式描述語言Z
751Z簡介
752Z的數學符號
753Z中的圖表
754Z規約的示例
76形式描述語言LOTOS
761LOTOS簡介
762LOTOS的數據描述語言
763LOTOS的進程
764LOTOS規約的示例
77B方法
771B方法簡介
772B方法中的數學符號
773B方法中的抽象機
774B規約的示例
第8章需求驗證
81需求驗證的目的和任務
82需求驗證的內容和方法
83需求評審
831審查人員的確定和分工
832正式的審查過程
833審查的內容
834需求評審面臨的困難
84需求測試
85編制用戶使用手冊草案
86解釋需求模型
87需求可視化
第9章需求管理
91需求變更控制
92需求規格說明文檔的版本控制
93需求變更狀態的跟蹤
94需求跟蹤
941可跟蹤信息分類
942需求跟蹤技術
第10章面向軟件行為和視點的需求建模與檢測方法
101基本原理
1011基本概念
1012基本步驟
102視點表示模型和視點管理
1021視點表示模型
1022劃分問題域和標識視點的具體步驟
1023視點管理
103需求模型的具體構建方法
1031行為描述語言
1032行為描述語言的動態語義
1033構建行為模型的具體過程
1034實例說明
1035圖形化輸入
1036異類視點需求模型的轉換實現
104需求模型的檢測方法
1041檢測內容
1042檢測過程
1043檢測過程中各檢測方法的具體實現
105基于行為模型的需求可視化
106需求建模方法的特點
107進一步的研究
1071方法的實現
1072有待研究的問題
第11章面向問題域的需求分析方法
111問題域
112問題域的劃分
113問題框架
114問題框架的類型
115PDOA方法的分析步驟
1151問題及問題域的界定與描述
1152基于問題框架的問題域劃分
116問題框架實例間的關系及其組合
1161問題框架實例間的關系
1162問題框架實例的組合…
第12章面向多視點的需求工程
121什么是視點
122多視點與需求工程
123多視點需求工程的過程模型…
1231視點的標識
1232視點的表示
1233視點的分析
1234視點的集成
124示例
第13章需求工程與軟件開發管理…
131需求與估算
132需求與項目進度安排
133基于需求的軟件規模估算
134基于需求的工作量估算
附錄A校園通系統
參考文獻
新書資訊