基于模型的可信軟件理論與開發方法

2011年

基礎理論

成果簡介

本項目《基于模型的可信軟件理論與開發方法》涉及四個方面：
（一）Web服務與事務處理
采用形式化方法來研究Web事務的模型，相關工作體現在：(a)為補償機制這一新的概念提供形式化的定義；(b)提出了一種新的事務語言，把補償機制與前向恢復機制有機的融為一體；(c)對事務語言進行精確的語義刻畫，并采用UTP的思想處理不同語義的一致性；(d)開展了Web事...

相關成果

1. 基于距離空間的軟件動態可信評價模型研究
2. 基于可信模型的軟件學院實踐教學管理平臺的研制
3. Web環境下可信軟件基礎理論與方法研究
4. 基于模型檢測的功能性能統一的軟件可信驗證方法研究
5. 基于虛擬機架構的可信計算環境與可信軟件設計
6. 可信軟件設計開發與驗證的基礎理論與關鍵技術
7. 基于可信模型的內網蠕蟲防御方法研究
8. 基于可信平臺和可信引擎的軟件設計方法研究
9. 基于體系結構的軟件開發方法及其支撐環境
10. 可信網絡軟件的驗證與測試
12. 基于云模型理論的軟件可靠性評估方法研究
13. 基于行為認證的電子銀行可信軟件驗證試驗環境研究
14. 基于評價可信度量和風險評估的信任模型研究
15. 無線網絡可信認證理論與方法
16. 可信軟件的構造方法和技術
17. 面向關鍵任務的高可信軟件分析與測試技術
18. 高含水油田化學驅滲流理論與開發方法及工業化應用
19. 可信云平臺基礎信任模型研究
20. 基于復雜系統理論的IT外包決策模型與仿真研究

精品福利一区二区三区免费视-精品福利一区二区三区免费视频-精品福利一区二区在线观看-精品高潮呻吟99AV无码-精品高潮呻吟AV久久无码-精品高精欧美囯产日韩一区

基于模型的可信軟件理論與開發方法

標簽云

猜您想要的成果

相關專家

相關機構


	選擇導出文檔的格式關閉 PDF PDF RTF(word文檔) TXT(純文本)


	提示信息關閉發送短信成功


	提示信息關閉發送短信失敗


	提示信息關閉發送郵件失敗


	提示信息關閉郵件發送成功