軟件需求工程方法與實踐

目錄

第1章軟件需求工程概述

1.1什么是軟件需求工程

1.1.1軟件需求案例

1.1.2軟件需求開發(fā)

1.1.3軟件需求工程任務(wù)抽象

1.2需求工程為什么有用

1.2.1功能需求與非功能需求

1.2.2需求干系人

1.2.3為什么需要需求工程

1.3為什么強調(diào)環(huán)境

1.4軟件需求工程是否需要方法學(xué)支撐

1.4.1需求開發(fā)的復(fù)雜性

1.4.2方法學(xué)的作用

1.5本書導(dǎo)讀

參考文獻

第2章軟件需求過程

2.1需求過程模型

2.1.1迭代式需求過程模型

2.1.2敏捷需求模型

2.2需求開發(fā)活動

2.2.1需求獲取

2.2.2需求分析和磋商

2.2.3需求文檔化

2.2.4需求驗證

2.3需求管理

2.3.1需求變化溯源

2.3.2需求變更管理

2.3.3需求追蹤

2.4小結(jié)與討論

2.5思考題

參考文獻

第3章面向目標的方法

3.1概述

3.1.1目標的分類

3.1.2目標的層次

3.1.3目標的作用

3.2目標建模元素

3.2.1目標的表示

3.2.2目標的精化

3.2.3其他概念

3.3基于目標的需求分析

3.3.1目標建模

3.3.2目標障礙分析

3.3.3對象識別

3.3.4主體職責(zé)分配

3.3.5最優(yōu)方案選擇和目標操作化

3.4工業(yè)界應(yīng)用

3.5小結(jié)與討論

3.6思考題

參考文獻

第4章面向主體的方法

4.1概述

4.1.1主體的含義

4.1.2主體的作用

4.2面向主體的需求建?？蚣?/p>

4.2.1策略主體

4.2.2主體意圖

4.2.3依賴關(guān)系

4.2.4模型視圖

4.3基于策略主體的需求分析

4.3.1早期需求分析

4.3.2后期需求分析

4.4小結(jié)與討論

4.5思考題

參考文獻

第5章問題驅(qū)動的方法

5.1概述

5.1.1問題的定位

5.1.2問題的描述

5.1.3問題的分解

5.2問題框架

5.2.1現(xiàn)象和領(lǐng)域特征

5.2.2基本問題框架

5.2.3基本問題框架變體

5.3框架關(guān)注點

5.3.1需求式行為問題關(guān)注點

5.3.2命令式行為問題關(guān)注點

5.3.3信息顯示問題關(guān)注點

5.3.4簡單工件問題關(guān)注點

5.3.5變換問題關(guān)注點

5.4綜合關(guān)注點

5.5小結(jié)與討論

5.6思考題

參考文獻

第6章面向情景的方法

6.1概述

6.2基于文本的情景描述

6.2.1識別業(yè)務(wù)目標/功能

6.2.2撰寫情景描述

6.2.3情景細化

6.3基于用例的情景建模

6.3.1用例和用例圖

6.3.2用順序圖建模情景

6.3.3用活動圖建模情景

6.4應(yīng)用情景圖

6.5情景的原型化

6.6小結(jié)與討論

6.7思考題

參考文獻

第7章基于環(huán)境建模的方法

7.1概述

7.2環(huán)境建模和環(huán)境本體

7.2.1頂層環(huán)境本體

7.2.2領(lǐng)域環(huán)境本體

7.3軟件系統(tǒng)問題規(guī)約

7.3.1本體引導(dǎo)的環(huán)境實體識別

7.3.2本體支持的共享現(xiàn)象確定

7.3.3本體制導(dǎo)的用戶需求定義

7.3.4本體驅(qū)動的現(xiàn)象關(guān)系規(guī)約

7.4環(huán)境相關(guān)的典型非功能需求

7.5小結(jié)與討論

7.6思考題

參考文獻

第8章質(zhì)量需求分析

8.1概述

8.1.1質(zhì)量需求定義

8.1.2質(zhì)量需求分析概述

8.2質(zhì)量需求建?？蚣?/p>

8.2.1質(zhì)量目標的定義與建模

8.2.2質(zhì)量目標與功能目標的關(guān)聯(lián)建模

8.2.3質(zhì)量目標關(guān)系的建模與表示

8.3質(zhì)量需求精化分析

8.3.1安全目標的結(jié)構(gòu)化

8.3.2多維度安全目標精化規(guī)則

8.3.3安全目標精化分析策略

8.4基于模式的質(zhì)量需求操作化分析

8.4.1安全模式

8.4.2基于情景目標建模的安全模式

8.4.3安全模式的選擇與應(yīng)用

8.5小結(jié)與討論

8.6思考題

參考文獻

第9章形式化需求規(guī)約和驗證

9.1概述

9.2需求形式化建模

9.2.1狀態(tài)遷移系統(tǒng)

9.2.2需求的遷移系統(tǒng)表示

9.3約束或性質(zhì)的表示

9.3.1性質(zhì)規(guī)約語言簡介

9.3.2性質(zhì)的時態(tài)邏輯表示

9.4需求驗證

9.5案例研究

9.5.1系統(tǒng)模型構(gòu)建

9.5.2驗證性質(zhì)

9.6四變量模型及其文檔化方法

9.6.1模型介紹

9.6.2系統(tǒng)需求文檔及其驗證

9.6.3系統(tǒng)的設(shè)計文檔

9.6.4軟件需求文檔

9.7小結(jié)與討論

9.8思考題

參考文獻

第10章時間需求分析

10.1概述

10.2簡單時序約束

10.2.1狀態(tài)狀態(tài)關(guān)系模式

10.2.2狀態(tài)事件關(guān)系模式

10.2.3事件事件關(guān)系模式

10.3簡單實時需求

10.3.1狀態(tài)持續(xù)時間

10.3.2狀態(tài)狀態(tài)關(guān)系

10.3.3狀態(tài)事件關(guān)系

10.3.4事件狀態(tài)關(guān)系

10.3.5事件事件關(guān)系

10.4復(fù)合模式

10.5時間建模

10.5.1系統(tǒng)的時間約束建模

10.5.2性質(zhì)的時間約束建模

10.6小結(jié)與討論

10.7思考題

參考文獻

第11章敏捷開發(fā)中的需求活動

11.1寫用戶故事

11.1.1如何寫故事

11.1.2怎樣寫好故事

11.1.3如何保證故事質(zhì)量

11.2敏捷開發(fā)中的需求規(guī)劃

11.2.1團隊的組織

11.2.2為用戶故事確定優(yōu)先級

11.2.3規(guī)劃的迭代與發(fā)布

11.3敏捷需求質(zhì)量檢查和測試

11.3.1故事質(zhì)量檢查

11.3.2需求測試

11.3.3非功能屬性測試

11.4敏捷需求管理工具

11.4.1常用功能

11.4.2擴展功能

11.4.3常用工具

11.5小結(jié)與討論

11.6思考題

參考文獻

第12章新時代的需求工程

12.1面向群體的需求工程

12.1.1群體參與需求活動

12.1.2群體需求工程模型

12.1.3群體需求工程框架

12.2面向新型應(yīng)用的需求工程

12.2.1大數(shù)據(jù)分析軟件的需求

12.2.2智能軟件的需求

12.3結(jié)束語

參考文獻

附錄A時間需求模式

A.1簡單時序約束模式

A.2簡單實時需求模式

A.3復(fù)合模式