《網構軟體體系結構建模與檢測的方法和技術研究》是依託北方工業大學,由趙會群擔任項目負責人的面上項目。
基本介紹
- 中文名:網構軟體體系結構建模與檢測的方法和技術研究
- 項目類別:面上項目
- 項目負責人:趙會群
- 依託單位:北方工業大學
《網構軟體體系結構建模與檢測的方法和技術研究》是依託北方工業大學,由趙會群擔任項目負責人的面上項目。
《網構軟體體系結構建模與檢測的方法和技術研究》是依託北方工業大學,由趙會群擔任項目負責人的面上項目。項目摘要運用代數學理論研究網構軟體體系結構的建模方法。在把網構連線解釋成網構運算、根據網構連線特性對網構運算進行分類、嚴...
《基於多層網路理論的軟體系統結構分析和行為建模研究》是依託西安交通大學,由屈宇擔任項目負責人的青年科學基金項目。中文摘要 當前軟體系統規模日益增大,開發和維護成本急劇上升,對軟體結構評測、運行時監控的需求日益強烈。近年來,研究者...
《動態軟體體系結構建模技術研究》是依託復旦大學,由趙文耘擔任項目負責人的面上項目。項目摘要 基於構件的軟體開發(CBSD)方法是當前軟體開發技術中的研究熱點,其中軟體體系結構的研究及套用還存在著較多的難點。本研究針對當前軟體體系結構...
《網構軟體可靠性技術研究》是2017年西南交通大學出版社出版的圖書。內容簡介 《網構軟體可靠性技術研究》共7章,主要討論了網構軟體的研究背景和意義、網構軟體可靠性理論和研究現狀、網構軟體及其可靠性形式化方法研究、網構軟體可靠性...
定義了支持異常處理建模的面向服務軟體體系結構描述語言SOADL-EH,以及基於該語言的體系結構設計階段異常處理邏輯的建模方法,並研究了SOADL-EH中各種語言成份的基於著色Petri網的形式化語義,以及基於Petri網狀態空間分析技術的體系結構設計...
本項目擬針對網構軟體對環境的應變方式從傳統的隱式的環境與靜態的應變轉變為顯式的環境與動態的應變的技術需求,研究情境感知軟體系統的體系結構設計方法、實現技術和自適應演化機制,在情境感知軟體系統的體系結構建模技術、面向情境的編程...
軟體體系結構是具有一定形式的結構化元素,即構件的集合,包括處理構件、數據構件和連線構件。處理構件負責對數據進行加工,數據構件是被加工的信息,連線構件把體系結構的不同部分組合連線起來。這一定義注重區分處理構件、數據構件和連線構件...
《體系工程與體系結構建模方法與技術》由國防工業出版社出版。圖書目錄 第1章 體系與體系工程 1.1體系問題的由來 1.2體系 1.2.1概述 1.2.2體系與系統 1.3體系工程 1.3.1概述 1.3.2體系工程與系統工程 1.3.3體系工程研究...
最終形成支持可信演化的服務協同框架體系,為新型網路下面向服務軟體系統的設計和分析提供可用的關鍵技術。結題摘要 圍繞支持自主適應、線上演化和可信保障的面向服務軟體建模與驗證的基礎理論與關鍵技術為核心,本課題從服務協同的結構和行為兩...
《網構軟體可信性評估與保障技術》是2015年1月電子工業出版社出版的圖書,作者是司冠南。內容簡介 網構軟體是近年發展起來的研究領域,涵蓋了軟體構件、體系結構、軟體開發方法等多方面,並為當前流行的雲計算、物聯網等概念提供了諸多...
3.3三層C/S結構風格 3.3.1各層的功能 3.3.2三層C/S結構套用實例 3.3.3三層C/S結構的優點 3.4瀏覽/伺服器風格 3.5公共對象請求代理體系結構 3.5.1CORBA技術規範 3.5.2CORBA風格分析 3.6正交軟體體系結構 3...
設計了基於雲端的反惡意軟體系統CloudEyes,基於逆向哈希結構的特徵匹配檢測機制,能大量的降低掃描範圍,提供可回溯的精確的惡意數據片段定位信息。提出並實現了基於地址連線埠跳變的網路威脅防範機制RPAH,能有效抵禦掃描,可以明顯地降低APT第...
4.2.2 軟體測試規範 4.3 CMM思想和結構體系 4.3.1 CMM的歷史 4.3.2 CMM的五個等級及關鍵過程域 4.3.3 CMM與ISO9001思想及結構體系的關係 4.4 建立軟體測試管理和評判體系 小結 思考題 第2部分 軟體測試的技術 第5章 ...
我們擬從基礎理論入手,設計用少量存儲資源支持大規模特徵集的算法,並根據最佳化算法設計多網路流並行工作的高吞吐率特徵匹配結構。對於提出的體系結構,採用EDA工具、軟體模擬器和FPGA平台等方式進行實驗分析與評價,並結合建模分析方法探討該...
9.3.2結構型設計模式 9.3.3行為型設計模式 9.4深入認識設計模式 9.5小結 9.6思考題 第10章Web服務體系結構 10.1Web服務概述 10.2Web服務體系結構模型 10.3Web服務的核心技術 10.4面向服務軟體體系結構 10.5Web服務的套用...
《雲計算演化環境中的隱私建模與檢測方法研究》是依託南京航空航天大學,由黃志球擔任項目負責人的面上項目。項目摘要 隱私保護本質是隱私需求的滿足,雲計算體系結構具有跨層服務組合的動態演化特點,使得其中隱私需求的描述必須具備精確語義,...
|9.7 軟體體系結構評估領域的研究重點和方向 |習題 |第10章 雲計算 |10.1 雲計算的概念 |10.2 雲計算體系結構 |10.3 雲計算的發展歷史和套用現狀 |10.4 雲計算與相關計算模型的關係 |10.5 雲計算核心技術簡介 |10.6 雲...