軟件需求工程方法與實踐 金芝 劉璘 陳小紅 李童 9787302633068 【台灣高等教育出版社】

*完成訂單後正常情形下約兩周可抵台。
*本賣場提供之資訊僅供參考，以到貨標的為正確資訊。
印行年月：202305*若逾兩年請先於客服中心或Line洽詢存貨情況，謝謝。
台灣(台北市)在地出版社，每筆交易均開具統一發票，祝您中獎最高1000萬元。
書名：軟件需求工程方法與實踐
ISBN：9787302633068
出版社：清華大學
著編譯者：金芝 劉璘 陳小紅 李童
叢書名：高等學校軟件工程專業系列教材
頁數：209
所在地：中國大陸 *此為代購商品
書號：1534400
可大量預訂，請先連絡。

內容簡介

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

作者簡介

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

目錄

第1章 軟體需求工程概述
1 1 什麼是軟體需求工程
1 1 1 軟體需求案例
1 1 2 軟體需求開發
1 1 3 軟體需求工程任務抽象
1 2 需求工程為什麼有用
1 2 1 功能需求與非功能需求
1 2 2 需求干係人
1 2 3 為什麼需要需求工程
1 3 為什麼強調環境
1 4 軟體需求工程是否需要方法學支撐
1 4 1 需求開發的複雜性
1 4 2 方法學的作用
1 5 本書導讀
參考文獻
第2章 軟體需求過程
2 1 需求過程模型
2 1 1 迭代式需求過程模型
2 1 2 敏捷需求模型
2 2 需求開發活動
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 最優方案選擇和目標操作化
3 4 工業界應用
3 5 小結與討論
3 6 思考題
參考文獻
第4章 面向主體的方法
4 1 概述
4 1 1 主體的含義
4 1 2 主體的作用
4 2 面向主體的需求建模框架
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 現象和領域特徵
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 識別業務目標/功能
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章 基於環境建模的方法
7 1 概述
7 2 環境建模和環境本體
7 2 1 頂層環境本體
7 2 2 領域環境本體
7 3 軟體系統問題規約
7 3 1 本體引導的環境實體識別
7 3 2 本體支持的共享現象確定
7 3 3 本體制導的用戶需求定義
7 3 4 本體驅動的現象關係規約
7 4 環境相關的典型非功能需求
7 5 小結與討論
7 6 思考題
參考文獻
第8章 質量需求分析
8 1 概述
8 1 1 質量需求定義
8 1 2 質量需求分析概述
8 2 質量需求建模框架
8 2 1 質量目標的定義與建模
8 2 2 質量目標與功能目標的關聯建模
8 2 3 質量目標關係的建模與表示
8 3 質量需求精化分析
8 3 1 安全目標的結構化
8 3 2 多維度安全目標精化規則
8 3 3 安全目標精化分析策略
8 4 基於模式的質量需求操作化分析
8 4 1 安全模式
8 4 2 基於情景目標建模的安全模式
8 4 3 安全模式的選擇與應用
8 5 小結與討論
8 6 思考題
參考文獻
第9章 形式化需求規約和驗證
9 1 概述
9 2 需求形式化建模
9 2 1 狀態遷移系統
9 2 2 需求的遷移系統表示
9 3 約束或性質的表示
9 3 1 性質規約語言簡介
9 3 2 性質的時態邏輯表示
9 4 需求驗證
9 5 案例研究
9 5 1 系統模型構建
9 5 2 驗證性質
9 6 四變數模型及其文檔化方法
9 6 1 模型介紹
9 6 2 系統需求文檔及其驗證
9 6 3 系統的設計文檔
9 6 4 軟體需求文檔
9 7 小結與討論
9 8 思考題
參考文獻
第10章 時間需求分析
10 1 概述
10 2 簡單時序約束
10 2 1 狀態-狀態關係模式
10 2 2 狀態-事件關係模式
10 2 3 事件-事件關係模式
10 3 簡單實時需求
10 3 1 狀態持續時間
10 3 2 狀態-狀態關係
10 3 3 狀態-事件關係
10 3 4 事件-狀態關係
10 3 5 事件-事件關係
10 4 複合模式
10 5 時間建模
10 5 1 系統的時間約束建模
10 5 2 性質
詳細資料或其他書籍請至台灣高等教育出版社查詢，查後請於客服中心或Line或本社留言板留言，我們即儘速上架。

大陸簡體正版圖書，訂購後正常情形下約兩周可抵台。