書馨卡幫你省薪 2024個(gè)人購(gòu)書報(bào)告 2024中圖網(wǎng)年度報(bào)告
歡迎光臨中圖網(wǎng) 請(qǐng) | 注冊(cè)
> >
高等學(xué)校計(jì)算機(jī)專業(yè)系列教材軟件需求工程/梁正平 毋國(guó)慶 袁夢(mèng)霆

高等學(xué)校計(jì)算機(jī)專業(yè)系列教材軟件需求工程/梁正平 毋國(guó)慶 袁夢(mèng)霆

出版社：機(jī)械工業(yè)出版社出版時(shí)間：2020-12-01
開本： 其他 頁(yè)數(shù)： 268
中 圖 價(jià):¥41.3(7.0折) 定價(jià)  ¥59.0 登錄后可看到會(huì)員價(jià)
加入購(gòu)物車 收藏
運(yùn)費(fèi)6元，滿39元免運(yùn)費(fèi)
?新疆、西藏除外
本類五星書更多>

高等學(xué)校計(jì)算機(jī)專業(yè)系列教材軟件需求工程/梁正平 毋國(guó)慶 袁夢(mèng)霆 版權(quán)信息

高等學(xué)校計(jì)算機(jī)專業(yè)系列教材軟件需求工程/梁正平 毋國(guó)慶 袁夢(mèng)霆 內(nèi)容簡(jiǎn)介

本書全面和系統(tǒng)地介紹了軟件需求工程的基本概念和原理，以及開發(fā)和管理軟件需求的方法和技術(shù)。此外，本書也介紹了軟件需求工程中的一些新方法和技術(shù)，并結(jié)合了許多典型實(shí)例。本書可作為本科生高年級(jí)和研究生的教材，也可供從事軟件開發(fā)工作和研究的專業(yè)人員參考和自學(xué)。

高等學(xué)校計(jì)算機(jī)專業(yè)系列教材軟件需求工程/梁正平 毋國(guó)慶 袁夢(mèng)霆 目錄

前言 教學(xué)建議 第1章需求工程概述 11需求工程的重要性 12什么是軟件需求 13軟件需求的分類 14需求規(guī)格說(shuō)明 15需求工程定義 16其他一些基本概念 第2章軟件工程與需求工程 21軟件工程 22軟件開發(fā)過(guò)程模型 221瀑布式模型 222快速原型模型 223漸增式模型 224螺旋式模型 225敏捷模型 226基于組件的模型 23需求工程在軟件開發(fā)中的地位 231需求工程對(duì)軟件開發(fā)的影響 232需求工程面臨的困難 24軟件需求的開發(fā)和管理過(guò)程 第3章需求獲取 31確定需求開發(fā)計(jì)劃 32確定項(xiàng)目的目標(biāo)和范圍 33確定調(diào)查對(duì)象 34實(shí)地收集需求信息 341實(shí)地收集需求信息面臨的困難 342實(shí)地調(diào)查的步驟 343實(shí)地收集需求信息的方式 344需求信息的分類 35確定非功能需求 36在收集需求信息中應(yīng)注意的問(wèn)題 37使用場(chǎng)景技術(shù)的需求獲取 371場(chǎng)景的定義及構(gòu)成 372場(chǎng)景的表示 373場(chǎng)景的種類 374場(chǎng)景技術(shù)的特點(diǎn) 38基于用例的需求獲取 第4章需求分析 41建立系統(tǒng)關(guān)聯(lián)圖 42分析需求的可行性 43構(gòu)建用戶接口原型 44確定需求的優(yōu)先級(jí) 45需求建模 46建立數(shù)據(jù)詞典 第5章需求建模方法與技術(shù) 51什么是模型 52軟件工程中的模型 53結(jié)構(gòu)化的需求建模方法 531SA方法的基本思想 532SA方法的描述手段 533示例說(shuō)明 534SA方法的分析步驟 54面向?qū)ο蟮男枨蠼７椒?541面向?qū)ο蠓椒ㄖ械囊恍┗靖拍?542面向?qū)ο蟮男枨蠓治?543OMT方法的圖形描述工具 544基于OMT方法的需求建模步驟 55基于圖形的需求建模技術(shù) 551UML概述 552用例圖 553活動(dòng)圖 554協(xié)作圖 555實(shí)體關(guān)聯(lián)圖 第6章需求定義 61需求規(guī)格說(shuō)明的作用 62需求規(guī)格說(shuō)明的特性 63需求規(guī)格說(shuō)明的結(jié)構(gòu)和內(nèi)容 64需求規(guī)格說(shuō)明文檔的編寫要求 65需求規(guī)格說(shuō)明的描述語(yǔ)言 第7章需求的形式化描述 71形式化規(guī)格說(shuō)明及其方法 72形式化規(guī)格說(shuō)明與軟件開發(fā) 73基于公理或推理規(guī)則的形式化規(guī)格說(shuō)明 74基于代數(shù)的形式化規(guī)格說(shuō)明… 75形式描述語(yǔ)言Z 751Z簡(jiǎn)介 752Z的數(shù)學(xué)符號(hào) 753Z中的圖表 754Z規(guī)約的示例 76形式描述語(yǔ)言LOTOS 761LOTOS簡(jiǎn)介 762LOTOS的數(shù)據(jù)描述語(yǔ)言 763LOTOS的進(jìn)程 764LOTOS規(guī)約的示例 77B方法 771B方法簡(jiǎn)介 772B方法中的數(shù)學(xué)符號(hào) 773B方法中的抽象機(jī) 774B規(guī)約的示例 第8章需求驗(yàn)證 81需求驗(yàn)證的目的和任務(wù) 82需求驗(yàn)證的內(nèi)容和方法 83需求評(píng)審 831審查人員的確定和分工 832正式的審查過(guò)程 833審查的內(nèi)容 834需求評(píng)審面臨的困難 84需求測(cè)試 85編制用戶使用手冊(cè)草案 86解釋需求模型 87需求可視化 第9章需求管理 91需求變更控制 92需求規(guī)格說(shuō)明文檔的版本控制 93需求變更狀態(tài)的跟蹤 94需求跟蹤 941可跟蹤信息分類 942需求跟蹤技術(shù) 第10章面向軟件行為和視點(diǎn)的需求建模與檢測(cè)方法 101基本原理 1011基本概念 1012基本步驟 102視點(diǎn)表示模型和視點(diǎn)管理 1021視點(diǎn)表示模型 1022劃分問(wèn)題域和標(biāo)識(shí)視點(diǎn)的具體步驟 1023視點(diǎn)管理 103需求模型的具體構(gòu)建方法 1031行為描述語(yǔ)言 1032行為描述語(yǔ)言的動(dòng)態(tài)語(yǔ)義 1033構(gòu)建行為模型的具體過(guò)程 1034實(shí)例說(shuō)明 1035圖形化輸入 1036異類視點(diǎn)需求模型的轉(zhuǎn)換實(shí)現(xiàn) 104需求模型的檢測(cè)方法 1041檢測(cè)內(nèi)容 1042檢測(cè)過(guò)程 1043檢測(cè)過(guò)程中各檢測(cè)方法的具體實(shí)現(xiàn) 105基于行為模型的需求可視化 106需求建模方法的特點(diǎn) 107進(jìn)一步的研究 1071方法的實(shí)現(xiàn) 1072有待研究的問(wèn)題 第11章面向問(wèn)題域的需求分析方法 111問(wèn)題域 112問(wèn)題域的劃分 113問(wèn)題框架 114問(wèn)題框架的類型 115PDOA方法的分析步驟 1151問(wèn)題及問(wèn)題域的界定與描述 1152基于問(wèn)題框架的問(wèn)題域劃分 116問(wèn)題框架實(shí)例間的關(guān)系及其組合 1161問(wèn)題框架實(shí)例間的關(guān)系 1162問(wèn)題框架實(shí)例的組合… 第12章面向多視點(diǎn)的需求工程 121什么是視點(diǎn) 122多視點(diǎn)與需求工程 123多視點(diǎn)需求工程的過(guò)程模型… 1231視點(diǎn)的標(biāo)識(shí) 1232視點(diǎn)的表示 1233視點(diǎn)的分析 1234視點(diǎn)的集成 124示例 第13章需求工程與軟件開發(fā)管理… 131需求與估算 132需求與項(xiàng)目進(jìn)度安排 133
展開全部

高等學(xué)校計(jì)算機(jī)專業(yè)系列教材軟件需求工程/梁正平 毋國(guó)慶 袁夢(mèng)霆 作者簡(jiǎn)介

梁正平 深圳大學(xué)計(jì)算機(jī)與軟件學(xué)院副教授，CCF軟件工程專委會(huì)委員。畢業(yè)于武漢大學(xué)計(jì)算機(jī)學(xué)院軟件與理論專業(yè)，獲工學(xué)博士學(xué)位。主持和參加國(guó)家863計(jì)劃、國(guó)家自然科學(xué)基金、廣東省自然科學(xué)基金等科研項(xiàng)目十余項(xiàng)，并完成各類產(chǎn)學(xué)研合作項(xiàng)目多項(xiàng)。主要研究興趣包括軟件工程、形式化方法與技術(shù)、計(jì)算智能及應(yīng)用等。 毋國(guó)慶 武漢大學(xué)計(jì)算機(jī)學(xué)院教授、博士生導(dǎo)師。主要從事軟件形式化理論、軟件開發(fā)方法和技術(shù)、需求工程和可信軟件等方面的研究。多年來(lái)，除承擔(dān)本科和研究生教學(xué)工作外，科研方面曾參加“銀河-Ⅰ”巨型計(jì)算機(jī)操作系統(tǒng)的研制工作，并承擔(dān)和主持國(guó)家863計(jì)劃、國(guó)家自然科學(xué)基金等多個(gè)項(xiàng)目，以及其他一些軟件開發(fā)項(xiàng)目。在國(guó)內(nèi)外學(xué)術(shù)期刊及國(guó)際學(xué)術(shù)會(huì)議上發(fā)表了多篇論文和研究報(bào)告。

商品評(píng)論(0條)
暫無(wú)評(píng)論……
書友推薦
編輯推薦
返回頂部
中圖網(wǎng)
在線客服