《軍事信息系統需求工程》是國防工業出版社出版的圖書，作者是張維明。
基本介紹
內容簡介,目錄,
內容簡介
《軍事信息系統需求工程》是針對軍事信息系統需求論證中存在的上述問題，結合作者多年來從事軍事信息系統需求工程理論研究和套用經驗而編寫的，系統地闡述了軍事信息系統需求工程的方法、技術及其套用。全書共分7章，內容包括軍事信息系統需求工程概述、軍事信息系統需求工程總體框架、軍事信息系統需求獲取、軍事信息系統需求建模、軍事信息系統需求驗證、軍事信息系統需求管理以及軍事信息系統需求工程工具。這些內容反映了軍事信息系統需求工程領域的新研究成果。
目錄
第1章 概論
1.1 問題的提出
1.2 需求與需求工程
1.2.1 需求的基本概念
1.2.2 需求工程的產生與發展
1.2.3 需求工程的基本組成
1.3 軍事信息系統需求工程概述
1.3.1 軍事信息系統需求的概念與特點
1.3.2 軍事信息系統需求的開發難題與原因
1.3.3 軍事信息系統需求工程的概念與特點
1.4 軍事領域需求工程的現狀
1.4.1 美國軍事需求工程現狀
1.4.2 英國軍事需求工程現狀
1.4.3 法國軍事需求工程現狀
1.4.4 德國軍事需求工程現狀
1.4.5 日本軍事需求工程現狀
1.4.6 中國軍事需求工程現狀
參考文獻
第2章 軍事信息系統需求工程框架
2.1 引言
2.2 軍事信息系統需求的內容模型
2.2.1 軍事信息系統需求的分類
2.2.2 業務需求視圖
2.2.3 信息需求視圖
2.2.4 系統需求視圖
2.2.5 技術需求視圖
2.2.6 需求視圖之間的關係
2.3 軍事信息系統需求的過程模型
2.3.1 軍事信息系統需求獲取
2.3.2 軍事信息系統需求分析
2.3.3 軍事信息系統需求建模
2.3.4 軍事信息系統需求驗證
2.3.5 軍事信息系統需求管理
2.4 軍事信息系統需求的方法模型
2.4.1 基於系統工程的需求開發方法
2.4.2 基於多視圖的需求工程方法學
2.4.3 基於能力的軍事信息系統需求開發方法
2.5 軍事信息系統需求工程的輔助工具
參考文獻
第3章 軍事信息系統需求獲取
3.1 引言
3.1.1 需求獲取的基本概念
3.1.2 需求獲取的基本方法
3.1.3 需求獲取的原則
3.1.4 需求獲取的典型問題
3.2 用戶主導的軍事信息系統需求獲取思想與策略
3.2.1 用戶主導的需求獲取基本思想
3.2.2 用戶主導的需求獲取實現策略
3.3 基於綜合微觀分析機制的需求獲取方法
3.3.1 綜合微觀分析方法的基本思想
3.3.2 基於綜合微觀分析機制的軍事需求的開發機制
3.3.3 基於綜合微觀分析機制的軍事需求開發模式
3. 4 基於場景的需求獲取方法 106
3. 4. 1 基於場景需求獲取方法的基本思想 106
3. 4. 2 面向場景的功能需求獲取技術 115
3. 5 軍事信息系統需求三維互動採掘方法 124
3. 5. 1 需求採掘的基本概念 125
3. 5. 2 三維視角的引入 129
3. 5. 3 軍事信息系統三維分析框架 130
3. 5. 4 軍事信息系統需求三維互動採掘模式 134
3. 5. 5 作戰維—系統維互動的方法 139
3. 5. 6 系統維—技術維互動的方法 144
3. 5. 7 技術維—作戰維互動的方法 148
參考文獻 150
第4 章 軍事信息系統需求描述與建模 151
4. 1 引言 151
4. 1. 1 軍事信息系統需求描述與建模的概念 151
4. 1. 2 軍事信息系統需求描述與建模方法的分類 154
4. 1. 3 需求描述的基本原則 155
4. 2 行為需求建模方法 156
4. 2. 1 基於IDEF0 圖的需求建模方法 156
4. 2. 2 基於事件的需求建模方法 159
4. 2. 3 基於數據流圖的需求建模方法 162
4. 2. 4 IDEF0/ UCM———集成的需求綜合建模方法 165
4. 3 數據/內容需求建模方法 173
4. 3. 1 基於本體的需求建模方法 173
4. 3. 2 IDEF1X 方法 179
4. 4 面向對象的需求建模方法 197
4. 4. 1 UML 的組成 198
4. 4. 2 UML 的靜態建模機制 201
4. 4. 3 UML 的動態建模機制 203
4. 4. 4 UML 實體描述規範 205
4. 4. 5 面向對象的需求建模過程 207
參考文獻 216
第5 章 軍事信息系統需求驗證 218
5. 1 引言 218
5. 1. 1 需求驗證的概念 218
5. 1. 2 需求驗證的內容與方法 219
5. 1. 3 需求指標 221
5. 1. 4 需求的檢查、審查與評審 225
5. 2 軍事信息系統需求驗證過程 227
5. 3 軍事信息系統需求一致性驗證 232
5. 3. 1 需求要素集內部關係的一致性驗證 232
5. 3. 2 需求要素集間的“直接”關係一致性驗證 237
5. 3. 3 需求要素集間的“間接”關係一致性驗證 241
5. 4 軍事信息系統業務規則需求的合理性驗證 243
5. 4. 1 業務規則需求合理性驗證概述 243
5. 4. 2 IDEF3 建模方法 244
5. 4. 3 IDEF3 模型的合理性檢驗 250
5. 5 軍事信息系統業務時序需求和系統時序需求的
合理性驗證 254
第6章 軍事信息系統需求管理
第7章 軍事信息系統需求工程輔助工具
5. 5. 1 時序需求的序列圖模型 255
5. 5. 2 Petri 網及擴展的對象Petri 網 260
5. 5. 3 序列圖模型向對象Petri 網模型的轉換 269
5. 5. 4 基於對象Petri 網的時序需求分析 275
5. 6 軍事信息系統需求的有效性驗證 275
5. 6. 1 基於可執行模型的需求有效性驗證 276
5. 6. 2 基於原型的有效性驗證 277
參考文獻 278
第6 章 軍事信息系統需求管理 280
6. 1 引言 280
6. 1. 1 需求管理的一般概念 281
6. 1. 2 軍事信息系統需求管理的概念 287
6. 2 軍事信息系統需求變更管理 289
6. 2. 1 需求變更概述 289
6. 2. 2 軍事信息系統需求變更管理過程 293
6. 3 軍事信息系統需求變更影響分析 295
6. 3. 1 變更影響分析概述 295
6. 3. 2 軍事信息系統需求變更影響評估模型 297
6. 4 軍事信息系統需求版本控制 303
6. 4. 1 版本控制概述 303
6. 4. 2 軍事信息系統需求版本構成 304
6. 4. 3 軍事信息系統需求版本演化 309
6. 5 軍事信息系統需求跟蹤 310
6. 5. 1 需求跟蹤概述 310
6. 5. 2 軍事信息系統需求跟蹤技術 314
6. 5. 3 軍事信息系統需求跟蹤過程 317
參考文獻 318
第7 章 軍事信息系統需求工程輔助工具 320
7. 1 引言 320
7. 2 軍事信息系統需求開發工具 323
7. 2. 1 軍事信息系統需求獲取工具 323
7. 2. 2 軍事信息系統需求描述工具 328
7. 2. 3 軍事信息系統需求集成開發環境 341
7. 3 軍事信息系統需求驗證工具 348
7. 3. 1 需求一致性驗證工具 349
7. 3. 2 需求邏輯性驗證工具 354
7. 3. 3 需求合理性分析工具 354
7. 4 軍事信息系統需求管理工具 355
7. 4. 1 軍事信息系統需求管理DOORS 工具簡介 357
7. 4. 2 軍事信息系統需求變更控制管理工具 359
7. 4. 3 軍事信息系統需求版本控制管理工具 363
7. 4. 4 軍事信息系統需求可跟蹤性管理工具 364
