中圖網小程序
一鍵登錄
更方便
本類五星書更多>
-
>
全國計算機等級考試最新真考題庫模擬考場及詳解·二級MSOffice高級應用
-
>
決戰行測5000題(言語理解與表達)
-
>
軟件性能測試.分析與調優實踐之路
-
>
第一行代碼Android
-
>
JAVA持續交付
-
>
EXCEL最強教科書(完全版)(全彩印刷)
-
>
深度學習
The Fundamental Research for Trustworthy Software(可信軟件基礎研究) 版權信息
- ISBN:9787308227599
- 條形碼:9787308227599 ; 978-7-308-22759-9
- 裝幀:一般膠版紙
- 冊數:暫無
- 重量:暫無
- 所屬分類:>
The Fundamental Research for Trustworthy Software(可信軟件基礎研究) 內容簡介
本書為“中國基礎研究報告”叢書《可信軟件基礎研究》英文版,基于國家自然科學基金重大研究計劃“可信軟件基礎研究”的研究成果寫作完成。該重大研究計劃以國家關鍵應用領域中軟件可信性問題為主攻目標,針對“軟件可信性度量與建模”“可信軟件的構造與驗證”“可信軟件的演化和控制”和“可信環境的構造與評估”等科學問題,從基礎理論體系、方法與平臺架構、典型應用示范等三方面對軟件可信性進行了深入研究,獲得了重要成果和進展。
The Fundamental Research for Trustworthy Software(可信軟件基礎研究) 目錄
Chapter 1 Project Overview
1.1 Introduction
1.1.1 Overall Scientific Objectives
1.1.2 Key Scientific Issues
1.2 Project Layout
1.2.1 Project Deployment
1.2.2 Comprehensive Integration
1.2.3 Interdisciplinary Efforts
1.3 Significant Progress
Chapter 2 Research in China and Abroad
2.1 Research Status
2.2 Research Trends
2.3 Research Focuses
Chapter 3 Major Research Achievements
3.1 Test Environment and Demonstration Applications for Trustworthy Online Transaction Software Systems
3.1.1 Major Innovations
3.1.2 Research Level and Outstanding Contributions
3.2 Modeling of the Multidimensional Online Cross-Language Calling Network and Its Empirical Application in Trustworthy National Electronic Tax Software
3.2.1 Major Innovations
3.2.2 Research Level and Outstanding Contributions
3.3 Test Environment and Demonstration Applications for IoV-Oriented Trustworthy Online Application Software Systems
3.3.1 Major Innovations
3.3.2 Research Level and Outstanding Contributions
3.4 Trustworthiness Guarantee Integrated Environment of Aerospace Embedded Software and Its Demonstration Applications and Verification
3.4.1 Major Innovations
3.4.2 Research Level and Outstanding Contributions
3.5 Trustworthy Software Theory, Method Integration, and Comprehensive Test Platform
3.5.1 Major Innovations
3.5.2 Research Level and Outstanding Contributions
Chapter 4 Outlook
4.1 Chinas Research Inadequacies and Strategic Needs
4.1.1 Research Inadequacies
4.1.2 Strategic Needs
4.2 Conceptions and Suggestions for Further Research
4.2.1 Conceptions for Further Research
4.2.2 Suggestions for Further Research
References
Index
展開全部
The Fundamental Research for Trustworthy Software(可信軟件基礎研究) 作者簡介
可信軟件基礎研究項目組指導專家組組長為何積豐。何積豐,計算機軟件專家,中國科學院院士,華東師范大學軟件學院院長、教授、博士生導師。主要從事計算機軟件理論及應用研究。
書友推薦
- >
中國歷史的瞬間
- >
小考拉的故事-套裝共3冊
- >
羅庸西南聯大授課錄
- >
月亮虎
- >
煙與鏡
- >
回憶愛瑪儂
- >
巴金-再思錄
- >
李白與唐代文化
本類暢銷