《基於意圖的軟體需求形式化建模方法研究》是依託清華大學,由劉璘擔任項目負責人的青年科學基金項目。
基本介紹
- 中文名:基於意圖的軟體需求形式化建模方法研究
- 依託單位:清華大學
- 項目負責人:劉璘
- 項目類別:青年科學基金項目
- 負責人職稱:副研究員
- 批准號:60503030
- 申請代碼:F0203
- 研究期限:2006-01-01 至 2008-12-31
- 支持經費:22(萬元)
《基於意圖的軟體需求形式化建模方法研究》是依託清華大學,由劉璘擔任項目負責人的青年科學基金項目。
軟體形式化方法是指建立在嚴格數學基礎上的軟體開發方法。形式化方法模型的主要活動是生成計算機軟體形式化的數學規格說明。形式化方法使軟體開發人員可以套用嚴格的數學符號來說明、開發和驗證基於計算機的系統。起源 軟體形式化方法最早可追溯...
《軟體安全性需求形式化建模和驗證》是2019年11月1日江蘇大學出版社出版的圖書,作者是李震。內容簡介 《軟體安全性需求形式化建模和驗證》基於軟體安全性領域內的非常不錯標準和手冊,將形式化理論和方法套用於軟體安全性需求建模和驗證...
1 基於社交建模的安全需求工程技術研究 基金委,面上2009.1-2011.12 2 基於動態最優決策的需求工程技術研究 科技部863面上 2007.9-2009.8 3 基於意圖的形式化需求分析方法研究 基金委,青年 2006.1-2008.12 4 中國軟體需求工程...
提取系統關鍵的屬性,採用形式化方法對嵌入式系統建模、抽象、精化和自動檢測。利用自適應技術探討嵌入式軟體黑箱模型的自適應建模理論和檢測方法。研究模型和屬性的分解,提出系統和組件一致性的驗證方法。將可滿足度方法用於模型檢測中,...
軟體體系結構是具有一定形式的結構化元素,即構件的集合,包括處理構件、數據構件和連線構件。處理構件負責對數據進行加工,數據構件是被加工的信息,連線構件把體系結構的不同部分組合連線起來。這一定義注重區分處理構件、數據構件和連線構件...
對TSP靜態特性仿真與判別以及TSP動態特性仿真進行了研究;提出了一種軟體過程建模方法的評價體系框架,採用基於模糊集理論的綜合評價方法,對三種TSP仿真建模方法進行了分析和比較;提出“過程—模式—元模型”遞階重用方法,利用演化計算自動...
《基於環境的信息物理系統時空需求建模方法研究》是依託華東師範大學,由陳小紅擔任項目負責人的青年科學基金項目。項目摘要 新興的信息物理系統(CPS)蘊藏著巨大的潛在套用價值,建模CPS軟體的時空需求是成功構建CPS軟體從而使之得以成功套用的...
第7章需求的形式化描述 71形式化規格說明及其方法 72形式化規格說明與軟體開發 73基於公理或推理規則的形式化規格說明 74基於代數的形式化規格說明…75形式描述語言Z 751Z簡介 752Z的數學符號 753Z中的...
形式化需求驗證技術一般分為 3類 ,分別是代數方法、基於模型的方法和基於進程代數的方法 ,它們分別適用於描述和分析不同類型的軟體系統。 形式化需求驗證技術的作用分為兩個方面: 一方面是驗證需求提供者的意圖可滿足性 (即需求模型的...
研究根據用戶需求建立可執行系統規格說明模型的建模方法,以及相應的基於模擬實驗的性能評估理論和技術,並研製支持建模及模擬的軟體平台和工具;在此基礎上,對系統規格說明空間進行充分探索,有效調整系統相應規格及參數,探討使系統設計方案...
研究等級驅動的安全需求工程方法 等級驅動的安全需求獲取 基於輕量形式化技術的軟體安全需求的建模 ISO/IEC 15408框架下的安全需求模型的驗證和缺陷檢測 安全需求工程環境下的網路協定安全設計開發案例 網路協定的建模方法 針對網路協定的攻擊...
本項目將建立支持設計意圖重用的產品形態創新設計平台原型,通過該平台對家電企業典型產品的開發驗證理論方法的正確性和軟體工具的實用性。結題摘要 當前消費者個性化、情感化的購物趨勢促使設計師需要更多地從情感角度來設計產品。然而傳統的...
本項目針對基於構件的軟體系統動態演化問題提出了解決方法。該方法是一種粗顆粒度、高層次、結構化的形式化方法。它允許對軟體系統持續地施加演化活動,使軟體系統獲得完整的新的計算能力。該方法提升了系統的演化能力,延長了軟體的生命周期...
形式化方法的本質是基於數學的方法來描述目標軟體系統屬性的一種技術。不同的形式化方法的數學基礎是不同的,有的以集合論和一階謂詞演算為基礎(如Z和 VDM),有的則以時態邏輯為基礎。形式化方法需要形式化規約說明語言的支持。研究...
一種重要度驅動的自適應光子密度控制方法 快速學習分類方法 一種適用於計算機輔助醫療診斷的預測建模方法 數字灰度圖像中人臉眼睛中心的精確自動定位方法 一種基於每人一幅圖像的自動人臉識別方法 一種自適應的網際網路目錄網頁推薦方法 軟體...
13.4基於需求的工作量估算 附錄A校園通系統 參考文獻 作者簡介 毋國慶,武漢大學計算機學院教授、博士生導師。主要從事軟體形式化理論、軟體開發方法和技術、需求工程和可信軟體等方面的研究。多年來,除承擔本科和研究生教學工作外,科研...