中图网(原中国图书网):网上书店,尾货特色书店,30万种特价书低至2折!

歡迎光臨中圖網(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
開本: 其他 頁數(shù): 268
中 圖 價(jià):¥41.7(7.1折) 定價(jià)  ¥59.0 登錄后可看到會(huì)員價(jià)
加入購(gòu)物車 收藏
開年大促, 全場(chǎng)包郵
?新疆、西藏除外
本類五星書更多>

高等學(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ī)格說明 15需求工程定義 16其他一些基本概念 第2章軟件工程與需求工程 21軟件工程 22軟件開發(fā)過程模型 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ā)和管理過程 第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)注意的問題 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示例說明 534SA方法的分析步驟 54面向?qū)ο蟮男枨蠼7椒?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ī)格說明的作用 62需求規(guī)格說明的特性 63需求規(guī)格說明的結(jié)構(gòu)和內(nèi)容 64需求規(guī)格說明文檔的編寫要求 65需求規(guī)格說明的描述語言 第7章需求的形式化描述 71形式化規(guī)格說明及其方法 72形式化規(guī)格說明與軟件開發(fā) 73基于公理或推理規(guī)則的形式化規(guī)格說明 74基于代數(shù)的形式化規(guī)格說明… 75形式描述語言Z 751Z簡(jiǎn)介 752Z的數(shù)學(xué)符號(hào) 753Z中的圖表 754Z規(guī)約的示例 76形式描述語言LOTOS 761LOTOS簡(jiǎn)介 762LOTOS的數(shù)據(jù)描述語言 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正式的審查過程 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ī)格說明文檔的版本控制 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劃分問題域和標(biāo)識(shí)視點(diǎn)的具體步驟 1023視點(diǎn)管理 103需求模型的具體構(gòu)建方法 1031行為描述語言 1032行為描述語言的動(dòng)態(tài)語義 1033構(gòu)建行為模型的具體過程 1034實(shí)例說明 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è)過程 1043檢測(cè)過程中各檢測(cè)方法的具體實(shí)現(xiàn) 105基于行為模型的需求可視化 106需求建模方法的特點(diǎn) 107進(jìn)一步的研究 1071方法的實(shí)現(xiàn) 1072有待研究的問題 第11章面向問題域的需求分析方法 111問題域 112問題域的劃分 113問題框架 114問題框架的類型 115PDOA方法的分析步驟 1151問題及問題域的界定與描述 1152基于問題框架的問題域劃分 116問題框架實(shí)例間的關(guān)系及其組合 1161問題框架實(shí)例間的關(guān)系 1162問題框架實(shí)例的組合… 第12章面向多視點(diǎn)的需求工程 121什么是視點(diǎn) 122多視點(diǎn)與需求工程 123多視點(diǎn)需求工程的過程模型… 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ù)、需求工程和可信軟件等方面的研究。多年來,除承擔(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條)
暫無評(píng)論……
書友推薦
本類暢銷
編輯推薦
返回頂部
中圖網(wǎng)
在線客服
主站蜘蛛池模板: 齿式联轴器-弹性联轴器-联轴器厂家-江苏诺兴传动联轴器制造有限公司 | 校车_校车价格_19座幼儿园校车_幼儿园校车_大鼻子校车 | 鹤壁创新仪器公司-全自动量热仪,定硫仪,煤炭测硫仪,灰熔点测定仪,快速自动测氢仪,工业分析仪,煤质化验仪器 | 水厂自动化-水厂控制系统-泵站自动化|控制系统-闸门自动化控制-济南华通中控科技有限公司 | 广域铭岛Geega(际嘉)工业互联网平台-以数字科技引领行业跃迁 | 江西高职单独招生-江西单招考试-江西高职单招网 | 全钢实验台,实验室工作台厂家-无锡市辰之航装饰材料有限公司 | 玉米深加工设备-玉米深加工机械-新型玉米工机械生产厂家-河南粮院机械制造有限公司 | 美甲贴片-指甲贴片-穿戴美甲-假指甲厂家--薇丝黛拉 | 深圳展厅设计_企业展馆设计_展厅设计公司_数字展厅设计_深圳百艺堂 | 宁夏档案密集柜,智能密集柜,电动手摇密集柜-盛隆柜业宁夏档案密集柜厂家 | 电机铸铝配件_汽车压铸铝合金件_发动机压铸件_青岛颖圣赫机械有限公司 | 机器视觉检测系统-视觉检测系统-机器视觉系统-ccd检测系统-视觉控制器-视控一体机 -海克易邦 | 深圳激光打标机_激光打标机_激光焊接机_激光切割机_同体激光打标机-深圳市创想激光科技有限公司 深圳快餐店设计-餐饮设计公司-餐饮空间品牌全案设计-深圳市勤蜂装饰工程 | 中山市派格家具有限公司【官网】 | 武汉印刷厂-不干胶标签印刷厂-武汉不干胶印刷-武汉标签印刷厂-武汉标签制作 - 善进特种标签印刷厂 | 恒温恒湿试验箱_高低温试验箱_恒温恒湿箱-东莞市高天试验设备有限公司 | 洛阳永磁工业大吊扇研发生产-工厂通风降温解决方案提供商-中实洛阳环境科技有限公司 | 阁楼货架_阁楼平台_仓库仓储设备_重型货架_广州金铁牛货架厂 | QQ房产导航-免费收录优秀房地产网站_房地产信息网 | 圆盘鞋底注塑机_连帮鞋底成型注塑机-温州天钢机械有限公司 | 干洗店加盟_洗衣店加盟_干洗店设备-伊蔻干洗「武汉总部」 | 广东风淋室_广东风淋室厂家_广东风淋室价格_广州开源_传递窗_FFU-广州开源净化科技有限公司 | 磁力抛光研磨机_超声波清洗机厂家_去毛刺设备-中锐达数控 | 浙江皓格药业有限公司| 垃圾压缩设备_垃圾处理设备_智能移动式垃圾压缩设备--山东明莱环保设备有限公司 | 棕刚玉_白刚玉_铝酸钙-锐石新材料 | 石家庄小程序开发_小程序开发公司_APP开发_网站制作-石家庄乘航网络科技有限公司 | 周口风机|周风风机|河南省周口通用风机厂 | 涡轮流量计_LWGY智能气体液体电池供电计量表-金湖凯铭仪表有限公司 | 深圳公司注册-工商注册代理-注册公司流程和费用_护航财税 | 定制液氮罐_小型气相液氮罐_自增压液氮罐_班德液氮罐厂家 | 税筹星_灵活用工平台_企业财务顾问_财税法薪综合服务平台 | 江西自考网| 祝融环境-地源热泵多恒系统高新技术企业,舒适生活环境缔造者! | 大流量卧式砂磨机_强力分散机_双行星双动力混合机_同心双轴搅拌机-莱州市龙跃化工机械有限公司 | 纸塑分离机-纸塑分离清洗机设备-压力筛-碎浆机厂家金双联环保 | 回收二手冲床_金丰旧冲床回收_协易冲床回收 - 大鑫机械设备 | 电动高压冲洗车_价格-江苏速利达机车有限公司| 综合管廊模具_生态,阶梯护坡模具_检查井模具制造-致宏模具厂家 | 盘装氧量分析仪-防爆壁挂氧化锆分析仪-安徽吉帆仪表有限公司 |