国产精品一久久香蕉产线看/亚洲图区欧美/亚洲国产精品电影人久久网站/欧美日韩在线视频一区

歡迎光臨中圖網(wǎng) 請 | 注冊
> >
模型驅(qū)動的軟件動態(tài)演化過程與方法

包郵 模型驅(qū)動的軟件動態(tài)演化過程與方法

作者：謝仲文著
出版社：冶金工業(yè)出版社出版時間：2021-10-01
開本： 24cm 頁數(shù)： 177頁
中 圖 價:¥37.0(3.7折) 定價  ¥99.9 登錄后可看到會員價
加入購物車 收藏
開年大促， 全場包郵
?新疆、西藏除外
溫馨提示：5折以下圖書主要為出版社尾貨，大部分為全新（有塑封/無塑封），個別圖書品相8-9成新、切口
有劃線標(biāo)記、光盤等附件不全詳細(xì)品相說明>>
本類五星書更多>

模型驅(qū)動的軟件動態(tài)演化過程與方法 版權(quán)信息

模型驅(qū)動的軟件動態(tài)演化過程與方法 內(nèi)容簡介

軟件動態(tài)演化所面臨的挑戰(zhàn)并非可以孤立地從一個角度去尋求解決問題的方案, 而是需要從軟件的整個生命周期著手, 需要在軟件工程過程的幾個重要階段對軟件動態(tài)演化提供支持。因此, 本書致力于建立一種系統(tǒng)性的應(yīng)對軟件動態(tài)演化的建模理論, 該理論以軟件需求模型為驅(qū)動, 以體系結(jié)構(gòu)模型為視圖, 以行為管程機(jī)制為支撐, 以解決動態(tài)演化面臨的關(guān)鍵挑戰(zhàn)為導(dǎo)向, 以形式化方法為基本手段。

模型驅(qū)動的軟件動態(tài)演化過程與方法 目錄

**章緒論**節(jié)研究背景一、新形勢下的軟件自動化二、軟件發(fā)展構(gòu)件化三、軟件演化動態(tài)化第二節(jié)研究動因一、動態(tài)演化面臨的“挑戰(zhàn)”二、現(xiàn)有的典型研究成果的應(yīng)對方法與不足第三節(jié)擬提出的應(yīng)對之道一、以需求模型為驅(qū)動二、以體系結(jié)構(gòu)模型為視圖三、以行為管程為支撐四、以解決動態(tài)演化面臨的挑戰(zhàn)為導(dǎo)向五、以具有嚴(yán)格數(shù)學(xué)基礎(chǔ)的形式化方法為基石第四節(jié)研究意義和創(chuàng)新點(diǎn)一、理論意義二、實(shí)際意義三、創(chuàng)新點(diǎn)第五節(jié)全書組織結(jié)構(gòu)及其內(nèi)部關(guān)系一、組織結(jié)構(gòu)二、各章之間的關(guān)系第二章相關(guān)研究綜述**節(jié)軟件演化綜述一、軟件演化的概念二、軟件演化的分類三、靜態(tài)演化四、動態(tài)演化第二節(jié)軟件需求建模綜述一、需求建模概述二、面向特征的需求建模方法第三節(jié)軟件體系結(jié)構(gòu)綜述一、體系結(jié)構(gòu)的概念二、非形式化的體系結(jié)構(gòu)建模三、形式化的體系結(jié)構(gòu)建模第四節(jié)進(jìn)程代數(shù)第五節(jié)Petri網(wǎng)第六節(jié)綜述小結(jié)第三章面向動態(tài)演化的需求建模**節(jié)面向動態(tài)演化需求建模的思路與框架一、面向動態(tài)演化的需求元模型的設(shè)計思路二、面向動態(tài)演化的需求元模型的框架第二節(jié)面向動態(tài)演化的行為特征建模一、計算行為特征二、交互行為特征三、行為特征四、行為特征元模型的操作語義第三節(jié)從面向動態(tài)演化的屬性特征建模一、屬性特征二、面向動態(tài)演化建模的一個重要屬性特征第四節(jié)面向動態(tài)演化的需求模型一、需求元模型對需求建模要求的支持二、需求模型小結(jié)第四章面向動態(tài)演化需求模型的規(guī)范化**節(jié)行為特征模型的規(guī)范化一、行為特征規(guī)范化的要求二、行為特征的規(guī)范形三、行為特征元模型的公理系統(tǒng)四、行為特征可規(guī)范化的完備性定理第二節(jié)屬性特征模型的規(guī)范化一、屬性特征模型規(guī)范化的要求二、需求模型的參照完整性三、需求模型的依賴一致性四、需求模型的互斥一致性五、屬性特征模型范式六、小結(jié)第五章面向動態(tài)演化的體系結(jié)構(gòu)建模**節(jié)面向動態(tài)演化體系結(jié)構(gòu)建模的思路與框架一、面向動態(tài)演化的體系結(jié)構(gòu)元模型的設(shè)計思路二、面向動態(tài)演化的體系結(jié)構(gòu)元模型的框架第二節(jié)靜態(tài)視圖建模一、構(gòu)件Petri網(wǎng)結(jié)構(gòu)二、構(gòu)件三、連接件第三節(jié)動態(tài)視圖建模一、動態(tài)構(gòu)件系統(tǒng)二、動態(tài)體系結(jié)構(gòu)第四節(jié)動態(tài)演化建模一、構(gòu)件的結(jié)構(gòu)演化二、連接件的添加、刪除三、構(gòu)件的替換、添加和刪除四、體系結(jié)構(gòu)元模型對建模要求的支持五、小結(jié)第六章從需求模型到體系結(jié)構(gòu)模型的變換**節(jié)基本變換一、原子計算行為特征的變換二、主動特征和被動特征的變換第二節(jié)組合和復(fù)合的變換一、順序組合的變換二、選擇組合的變換三、迭代組合的變換四、并行復(fù)合的變換第三節(jié)變換中的抽象與細(xì)化一、抽象二、細(xì)化第四節(jié)變換得到的體系結(jié)構(gòu)模型的結(jié)構(gòu)性質(zhì)要求一、構(gòu)件的結(jié)構(gòu)性質(zhì)要求二、體系結(jié)構(gòu)的結(jié)構(gòu)性質(zhì)要求三、小結(jié)第七章面向動態(tài)演化的行為管程**節(jié)行為管程概述一、行為管程的概念二、行為管程在動態(tài)演化實(shí)施中所處的位置第二節(jié)行為管程的管理職能一、行為管程的托肯管理二、行為管程的庫所管理三、行為管程的變遷管理第三節(jié)行為管程的監(jiān)控職能一、行為管程的監(jiān)視職能二、行為管程的控制職能第四節(jié)行為管程的演化職能一、驅(qū)動構(gòu)件進(jìn)入靜止管理態(tài)二、驅(qū)動構(gòu)件進(jìn)入活動管理態(tài)三、連接件添加操作四、連接件刪除操作五、構(gòu)件添加操作六、構(gòu)件刪除操作七、小結(jié)第八章面向動態(tài)演化的構(gòu)件之間相關(guān)性分析**節(jié)相關(guān)性分析分類第二節(jié)構(gòu)件之間的結(jié)構(gòu)相關(guān)性分析一、基本結(jié)構(gòu)相關(guān)性二、復(fù)合結(jié)構(gòu)相關(guān)性第三節(jié)構(gòu)件之間的行為關(guān)系及其相關(guān)性分析一、結(jié)構(gòu)相關(guān)性對行為相關(guān)性的作用二、行為相關(guān)性的部分傳遞性處理三、構(gòu)件行為相關(guān)性分析四、小結(jié)第九章動態(tài)演化實(shí)施的一致性保持**節(jié)一致性的定義第二節(jié)構(gòu)件狀態(tài)遷移一、構(gòu)件的狀態(tài)保存二、基于庫所映射方案的托肯更新三、構(gòu)件的狀態(tài)恢復(fù)第三節(jié)構(gòu)件的行為空間和行為圖一、構(gòu)件的行為空間二、構(gòu)件的行為圖第四節(jié)一致性保持一、構(gòu)件的內(nèi)部一致性保持二、構(gòu)件的外部一致性保持三、小結(jié)第十章案例研究**節(jié)面向動態(tài)演化的需求建模一、行為特征建模二、屬性特征建模三、需求模型及其規(guī)范化第二節(jié)面向動態(tài)演化的體系結(jié)構(gòu)建模一、體系結(jié)構(gòu)建模二、構(gòu)件建模第三節(jié)動態(tài)演化實(shí)施分析一、相關(guān)性分析二、一致性保持三、小結(jié)第十一章結(jié)語一、主要研究總結(jié)二、未來展望參考文獻(xiàn)
展開全部

模型驅(qū)動的軟件動態(tài)演化過程與方法 作者簡介

謝仲文，高級工程師，泰山學(xué)院副教授，中國旅游研究院(文化和旅游部數(shù)據(jù)中心)博士后。本科畢業(yè)于哈爾濱工業(yè)大學(xué)軟件工程專業(yè)，碩士、博士畢業(yè)于云南大學(xué)系統(tǒng)分析與集成專業(yè)，博士畢業(yè)后在云南大學(xué)任教8年，主要從事軟件工程、旅游大數(shù)據(jù)研究，主持中國博士后科學(xué)基金等多項(xiàng)縱橫向課題，參與國家社科基金重大項(xiàng)目、國家自然科學(xué)基金項(xiàng)目等多項(xiàng)國家級項(xiàng)目，在SCI、EI、核心期刊上發(fā)表學(xué)術(shù)論文30余篇，出版專著1部、教材1部，申請專利和軟件著作權(quán)10余項(xiàng)。

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