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