大學計算機優秀教材系列：軟體需求工程

《大學計算機優秀教材系列：軟體需求工程》是2013年機械工業出版社出版的圖書，作者是毋國慶、梁正平。

基本介紹

• 中文名：大學計算機優秀教材系列:軟體需求工程
• 作者：毋國慶 梁正平
• 出版社：機械工業出版社
• 出版時間：2013年5月25日
• 頁數：255 頁
• 定價：35.00
• 開本：16 開
• ISBN：9787111417354
• 語種：簡體中文

內容簡介

《大學計算機優秀教材系列:軟體需求工程(第2版)》全面、系統地介紹了軟體需求工程的基本概念和原理，以及開發和管理軟體需求的方法與技術，按照需求工程中開發和管理過程的順序，結合許多經典實例，較詳盡地介紹了需求開發各個階段的任務、步驟。此外，《大學計算機優秀教材系列:軟體需求工程(第2版)》還介紹了需求工程領域的一些新理論、新技術和新方法。《大學計算機優秀教材系列:軟體需求工程(第2版)》可作為高年級本科生和研究生的教材，也可供從事軟體開發和研究工作的專業人員參考與自學。

《大學計算機優秀教材系列:軟體需求工程(第2版)》中部分內容是關於形式化理論和新方法方面的介紹，需要較好的理論基礎和參考其他方面的資料，故建議在教學中應根據學生的具體情況有選擇地講授《大學計算機優秀教材系列:軟體需求工程(第2版)》的內容，如可在講授中跳過第7章和第10章等。此外，需求工程是一門實踐性較強的課程，雖然《大學計算機優秀教材系列:軟體需求工程(第2版)》沒有給出習題和思考題，但講授需求工程課程的老師可根據《大學計算機優秀教材系列:軟體需求工程(第2版)》的內容設定一些習題和思考題。

圖書目錄

第2版前言

前言

教學建議

第1章需求工程概述

1.1需求工程的重要性

1.2什麼是軟體需求

1.3軟體需求的分類

1.4需求規格說明

1.5需求工程定義

1.6其他一些基本概念

第2章軟體工程與需求工程

2.1軟體工程

2.2軟體開發過程模型

2.2.1瀑布式模型

2.2.2快速原型模型

2.2.3漸增式模型

2.2.4螺旋式模型

2.2.5面向對象的開發模型

2.3需求工程在軟體開發中的地位

2.3.1需求工程對軟體開發的影響

2.3.2需求工程面臨的困難

2.4軟體需求的開發和管理過程

第3章 需求獲取

3.1確定需求開發計畫

3.2確定項目的目標和範圍

3.3確定調查對象

3.4實地收集需求信息

3.4.1實地收集需求信息面臨的困難

3.4.2實地調查的步驟

3.4.3實地收集需求信息的方式

3.4.4需求信息的分類

3.5確定非功能需求

3.6在收集需求信息中應注意的問題

3.7使用場景技術的需求獲取

3.7.1場景的定義及構成

3.7.2場景的表示

3.7.3場景的種類

3.7.4使用用例的需求獲取

3.7.5場景技術的特點

第4章需求分析

4.1建立系統關聯圖

4.2分析需求的可行性

4.3構建用戶接口原型

4.4確定需求的優先權

4.5需求建模

4.6建立數據詞典

第5章需求建模方法與技術

5.1什麼是模型

5.2軟體工程中的模型

5.3結構化的需求建模方法

5.3.1SA方法的基本思想

5.3.2SA方法的描述手段

5.3.3示例說明

5.3.4SA方法的分析步驟

5.4面向對象的需求建模方法

5.4.1面向對象方法中的一些基本概念

5.4.2面向對象的需求分析

5.4.3OMT方法的圖形描述工具

5.4.4基於OMT方法的需求建模步驟

5.5基於圖形的需求建模技術

5.5.1UML概述

5.5.2活動圖

5.5.3協作圖

5.5.4實體關聯圖

第6章需求定義

6.1需求規格說明的作用

6.2需求規格說明的特性

6.3需求規格說明的結構和內容

6.4需求規格說明文檔的編寫要求

6.5需求規格說明的描述語言

第7章需求的形式化描述

7.1形式化規格說明及其方法

7.2形式化規格說明與軟體開發

7.3基於公理或推理規則的形式化規格說明

7.4基於代數的形式化規格說明

7.5形式描述語言Z

7.5.1Z簡介

7.5.2Z的數學符號

7.5.3Z中的圖表

7.5.4Z規約的示例

7.6形式描述語言LOTOS

7.6.1LOTOS簡介

7.6.2LOTOS的數據描述語言

7.6.3LOTOS的進程

7.6.4LOTOS規約的示例

7.7B方法

7.7.1B方法簡介

7.7.2B方法中的數學符號

7.7.3B方法中的抽象機

7.7.4B規約的示例

第8章需求驗證

8.1需求驗證的目的和任務

8.2需求驗證的內容和方法

8.3需求評審

8.3.1審查人員的確定和分工

8.3.2正式的審查過程

8.3.3審查的內容

8.3.4需求評審面臨的困難

8.4需求測試

8.5編制用戶使用手冊草案

8.6解釋需求模型

8.7需求可視化

第9章需求管理

9.1需求變更控制

9.2需求規格說明文檔的版本控制

9.3需求變更狀態的跟蹤

9.4需求跟蹤

9.4.1可跟蹤信息分類

9.4.2需求跟蹤技術

第10章面向軟體行為和視點的需求建模與檢測方法

10.1基本原理

10.1.1基本概念

10.1.2基本步驟

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.3.6異類視點需求模型的轉換實現

10.4需求模型的檢測方法

10.4.1檢測內容

10.4.2檢測過程

10.4.3檢測過程中各檢測方法的具體實現

10.5基於行為模型的需求可視化

10.6需求建模方法的特點

10.7進一步的研究

10.7.1方法的實現

10.7.2有待研究的問題

第11章面向問題域的需求分析方法

11.1問題域

11.2問題域的劃分

11.3問題框架

11.4問題框架的類型

11.5PDOA方法的分析步驟

11.5.1問題及問題域的界定與描述

11.5.2基於問題框架的問題域劃分

11.6問題框架實例間的關係及其組合

11.6.1問題框架實例間的關係

11.6.2問題框架實例的組合

第12章面向多視點的需求工程

12.1什麼是視點

12.2多視點與需求工程

12.3多視點需求工程的過程模型

12.3.1視點的標識

12.3.2視點的表示

12.3.3視點的分析

12.3.4視點的集成

12.4示例

第13章需求工程與軟體開發管理

13.1需求與估算

13.2需求與項目進度安排

13.3基於需求的軟體規模估算

13.4基於需求的工作量估算

附錄A校園通系統

參考文獻

作者簡介

毋國慶，武漢大學計算機學院教授、博士生導師。主要從事軟體形式化理論、軟體開發方法和技術、需求工程和可信軟體等方面的研究。多年來，除承擔本科和研究生教學工作外，科研方面曾參加“銀河—Ⅰ”巨型計算機作業系統的研製工作，並承擔和主持國家863計畫、國家自然科學基金等多個項目，以及其他一些軟體開發項目。多次在日本東京大學等地從事軟體工程和形式化理論方面的合作研究，在國內外學術期刊及國際學術會議上發表了多篇論文和研究報告。

梁正平，2006年畢業於武漢大學計算機學院軟體與理論專業，獲工學博士學位。深圳大學信息工程學院副教授。曾參加過國家自然科學基金等多項科研課題，主要研究興趣包括軟體工程、形式化方法與技術、可信計算等，先後講授過軟體需求、作業系統、高級語言程式設計、計算機基礎等課程。