掃一掃
關注中圖網
官方微博
本類五星書更多>
-
>
全國計算機等級考試最新真考題庫模擬考場及詳解·二級MSOffice高級應用
-
>
決戰行測5000題(言語理解與表達)
-
>
軟件性能測試.分析與調優實踐之路
-
>
第一行代碼Android
-
>
JAVA持續交付
-
>
EXCEL最強教科書(完全版)(全彩印刷)
-
>
深度學習
模型驅動的軟件動態演化過程與方法 版權信息
- ISBN：9787502489359
- 條形碼：9787502489359 ; 978-7-5024-8935-9
- 裝幀：一般膠版紙
- 冊數：暫無
- 重量：暫無
- 所屬分類：>
模型驅動的軟件動態演化過程與方法 內容簡介
軟件動態演化所面臨的挑戰并非可以孤立地從一個角度去尋求解決問題的方案, 而是需要從軟件的整個生命周期著手, 需要在軟件工程過程的幾個重要階段對軟件動態演化提供支持。因此, 本書致力于建立一種系統性的應對軟件動態演化的建模理論, 該理論以軟件需求模型為驅動, 以體系結構模型為視圖, 以行為管程機制為支撐, 以解決動態演化面臨的關鍵挑戰為導向, 以形式化方法為基本手段。
模型驅動的軟件動態演化過程與方法 目錄
**章緒論**節研究背景一、新形勢下的軟件自動化二、軟件發展構件化三、軟件演化動態化第二節研究動因一、動態演化面臨的“挑戰”二、現有的典型研究成果的應對方法與不足第三節擬提出的應對之道一、以需求模型為驅動二、以體系結構模型為視圖三、以行為管程為支撐四、以解決動態演化面臨的挑戰為導向五、以具有嚴格數學基礎的形式化方法為基石第四節研究意義和創新點一、理論意義二、實際意義三、創新點第五節全書組織結構及其內部關系一、組織結構二、各章之間的關系第二章相關研究綜述**節軟件演化綜述一、軟件演化的概念二、軟件演化的分類三、靜態演化四、動態演化第二節軟件需求建模綜述一、需求建模概述二、面向特征的需求建模方法第三節軟件體系結構綜述一、體系結構的概念二、非形式化的體系結構建模三、形式化的體系結構建模第四節進程代數第五節Petri網第六節綜述小結第三章面向動態演化的需求建模**節面向動態演化需求建模的思路與框架一、面向動態演化的需求元模型的設計思路二、面向動態演化的需求元模型的框架第二節面向動態演化的行為特征建模一、計算行為特征二、交互行為特征三、行為特征四、行為特征元模型的操作語義第三節從面向動態演化的屬性特征建模一、屬性特征二、面向動態演化建模的一個重要屬性特征第四節面向動態演化的需求模型一、需求元模型對需求建模要求的支持二、需求模型小結第四章面向動態演化需求模型的規范化**節行為特征模型的規范化一、行為特征規范化的要求二、行為特征的規范形三、行為特征元模型的公理系統四、行為特征可規范化的完備性定理第二節屬性特征模型的規范化一、屬性特征模型規范化的要求二、需求模型的參照完整性三、需求模型的依賴一致性四、需求模型的互斥一致性五、屬性特征模型范式六、小結第五章面向動態演化的體系結構建模**節面向動態演化體系結構建模的思路與框架一、面向動態演化的體系結構元模型的設計思路二、面向動態演化的體系結構元模型的框架第二節靜態視圖建模一、構件Petri網結構二、構件三、連接件第三節動態視圖建模一、動態構件系統二、動態體系結構第四節動態演化建模一、構件的結構演化二、連接件的添加、刪除三、構件的替換、添加和刪除四、體系結構元模型對建模要求的支持五、小結第六章從需求模型到體系結構模型的變換**節基本變換一、原子計算行為特征的變換二、主動特征和被動特征的變換第二節組合和復合的變換一、順序組合的變換二、選擇組合的變換三、迭代組合的變換四、并行復合的變換第三節變換中的抽象與細化一、抽象二、細化第四節變換得到的體系結構模型的結構性質要求一、構件的結構性質要求二、體系結構的結構性質要求三、小結第七章面向動態演化的行為管程**節行為管程概述一、行為管程的概念二、行為管程在動態演化實施中所處的位置第二節行為管程的管理職能一、行為管程的托肯管理二、行為管程的庫所管理三、行為管程的變遷管理第三節行為管程的監控職能一、行為管程的監視職能二、行為管程的控制職能第四節行為管程的演化職能一、驅動構件進入靜止管理態二、驅動構件進入活動管理態三、連接件添加操作四、連接件刪除操作五、構件添加操作六、構件刪除操作七、小結第八章面向動態演化的構件之間相關性分析**節相關性分析分類第二節構件之間的結構相關性分析一、基本結構相關性二、復合結構相關性第三節構件之間的行為關系及其相關性分析一、結構相關性對行為相關性的作用二、行為相關性的部分傳遞性處理三、構件行為相關性分析四、小結第九章動態演化實施的一致性保持**節一致性的定義第二節構件狀態遷移一、構件的狀態保存二、基于庫所映射方案的托肯更新三、構件的狀態恢復第三節構件的行為空間和行為圖一、構件的行為空間二、構件的行為圖第四節一致性保持一、構件的內部一致性保持二、構件的外部一致性保持三、小結第十章案例研究**節面向動態演化的需求建模一、行為特征建模二、屬性特征建模三、需求模型及其規范化第二節面向動態演化的體系結構建模一、體系結構建模二、構件建模第三節動態演化實施分析一、相關性分析二、一致性保持三、小結第十一章結語一、主要研究總結二、未來展望參考文獻
展開全部
模型驅動的軟件動態演化過程與方法 作者簡介
謝仲文，高級工程師，泰山學院副教授，中國旅游研究院(文化和旅游部數據中心)博士后。本科畢業于哈爾濱工業大學軟件工程專業，碩士、博士畢業于云南大學系統分析與集成專業，博士畢業后在云南大學任教8年，主要從事軟件工程、旅游大數據研究，主持中國博士后科學基金等多項縱橫向課題，參與國家社科基金重大項目、國家自然科學基金項目等多項國家級項目，在SCI、EI、核心期刊上發表學術論文30余篇，出版專著1部、教材1部，申請專利和軟件著作權10余項。
書友推薦
- >
隨園食單
- >
經典常談
- >
史學評論
- >
【精裝繪本】畫給孩子的中國神話
- >
巴金－再思錄
- >
推拿
- >
伯納黛特,你要去哪(2021新版)
- >
新文學天穹兩巨星--魯迅與胡適/紅燭學術叢書(紅燭學術叢書)
本類暢銷
