注冊 | 登錄讀書好,好讀書,讀好書!
讀書網(wǎng)-DuShu.com
當前位置: 首頁出版圖書教育/教材/教輔教材研究生/本科/??平滩?/a>軟件需求工程方法與實踐

軟件需求工程方法與實踐

軟件需求工程方法與實踐

定 價:¥59.00

作 者: 金芝,劉璘,陳小紅,李童
出版社: 清華大學出版社
叢編項: 高等學校軟件工程專業(yè)系列教材
標 簽: 暫缺

ISBN: 9787302633068 出版時間: 2023-05-01 包裝: 平裝
開本: 16開 頁數(shù): 字數(shù):  

內(nèi)容簡介

  本書融匯了編者在軟件需求領域多年來從事研究和教學工作的經(jīng)驗,重點介紹軟件需求工程領域研究者三十余年沉淀的經(jīng)典方法和編者在近十余年探索中獲得的新認知。全書分為12章,第1、2章分別為軟件需求工程概述和軟件需求過程的介紹,第3~7章介紹主要的軟件需求工程方法,包括面向目標的方法、面向主體的方法、問題驅動的方法、面向情景的方法、基于環(huán)境建模的方法; 第8~12章分別講解質量需求分析、形式化需求規(guī)約和驗證、時間需求分析、敏捷開發(fā)中的需求活動和新時代的需求工程。本書配套PPT課件、教學大綱等教學資源,可以作為高等院校軟件工程相關專業(yè)高年級本科生或研究生“軟件需求工程”相關課程的教材或參考書,也可以作為軟件工程領域研究人員、軟件需求工程實踐者及對此領域感興趣的普通讀者的參考書。

作者簡介

  金芝,北京大學教授、博士生導師,IEEE/CCF/AAIA Fellow,國家杰出青年基金獲得者。現(xiàn)任北京大學高可信軟件技術教育部重點實驗室常務副主任,兼任國務院學位委員會軟件工程學科評議組成員、中國計算機學會系統(tǒng)軟件專業(yè)委員會主任、《軟件學報》執(zhí)行主編、《計算機學報》副主編及其他多個國內(nèi)外期刊的編委。發(fā)表論文兩百余篇,4次獲得 ACM 杰出論文獎,出版專著3部。研究領域包括:軟件需求工程、知識工程、知識/數(shù)據(jù)驅動的軟件工程等。

圖書目錄

目錄



第1章軟件需求工程概述


1.1什么是軟件需求工程


1.1.1軟件需求案例


1.1.2軟件需求開發(fā)


1.1.3軟件需求工程任務抽象


1.2需求工程為什么有用


1.2.1功能需求與非功能需求


1.2.2需求干系人


1.2.3為什么需要需求工程


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


1.4軟件需求工程是否需要方法學支撐


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


1.4.2方法學的作用


1.5本書導讀


參考文獻


第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小結與討論


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主體職責分配


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


3.4工業(yè)界應用


3.5小結與討論


3.6思考題


參考文獻







第4章面向主體的方法


4.1概述


4.1.1主體的含義


4.1.2主體的作用


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


4.2.1策略主體


4.2.2主體意圖


4.2.3依賴關系


4.2.4模型視圖


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


4.3.1早期需求分析


4.3.2后期需求分析


4.4小結與討論


4.5思考題


參考文獻


第5章問題驅動的方法


5.1概述


5.1.1問題的定位


5.1.2問題的描述


5.1.3問題的分解


5.2問題框架


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


5.2.2基本問題框架


5.2.3基本問題框架變體


5.3框架關注點


5.3.1需求式行為問題關注點


5.3.2命令式行為問題關注點


5.3.3信息顯示問題關注點


5.3.4簡單工件問題關注點


5.3.5變換問題關注點


5.4綜合關注點


5.5小結與討論


5.6思考題


參考文獻


第6章面向情景的方法


6.1概述


6.2基于文本的情景描述


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


6.2.2撰寫情景描述


6.2.3情景細化


6.3基于用例的情景建模


6.3.1用例和用例圖


6.3.2用順序圖建模情景


6.3.3用活動圖建模情景


6.4應用情景圖


6.5情景的原型化


6.6小結與討論


6.7思考題


參考文獻


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


7.1概述


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


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


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


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


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


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


7.3.3本體制導的用戶需求定義


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


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


7.5小結與討論


7.6思考題


參考文獻


第8章質量需求分析


8.1概述


8.1.1質量需求定義


8.1.2質量需求分析概述


8.2質量需求建模框架


8.2.1質量目標的定義與建模


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


8.2.3質量目標關系的建模與表示


8.3質量需求精化分析


8.3.1安全目標的結構化


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


8.3.3安全目標精化分析策略


8.4基于模式的質量需求操作化分析


8.4.1安全模式


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


8.4.3安全模式的選擇與應用


8.5小結與討論


8.6思考題


參考文獻


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


9.1概述


9.2需求形式化建模


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


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


9.3約束或性質的表示


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


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


9.4需求驗證


9.5案例研究


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


9.5.2驗證性質


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


9.6.1模型介紹


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


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


9.6.4軟件需求文檔


9.7小結與討論


9.8思考題


參考文獻


第10章時間需求分析


10.1概述


10.2簡單時序約束


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


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


10.2.3事件事件關系模式


10.3簡單實時需求


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


10.3.2狀態(tài)狀態(tài)關系


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


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


10.3.5事件事件關系


10.4復合模式


10.5時間建模


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


10.5.2性質的時間約束建模


10.6小結與討論


10.7思考題


參考文獻


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


11.1寫用戶故事


11.1.1如何寫故事


11.1.2怎樣寫好故事


11.1.3如何保證故事質量


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


11.2.1團隊的組織


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


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


11.3敏捷需求質量檢查和測試


11.3.1故事質量檢查


11.3.2需求測試


11.3.3非功能屬性測試


11.4敏捷需求管理工具


11.4.1常用功能


11.4.2擴展功能


11.4.3常用工具


11.5小結與討論


11.6思考題


參考文獻


第12章新時代的需求工程


12.1面向群體的需求工程


12.1.1群體參與需求活動


12.1.2群體需求工程模型


12.1.3群體需求工程框架


12.2面向新型應用的需求工程


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


12.2.2智能軟件的需求


12.3結束語


參考文獻


附錄A時間需求模式


A.1簡單時序約束模式


A.2簡單實時需求模式


A.3復合模式



本目錄推薦

掃描二維碼
Copyright ? 讀書網(wǎng) www.afriseller.com 2005-2020, All Rights Reserved.
鄂ICP備15019699號 鄂公網(wǎng)安備 42010302001612號