The Fundamental Research for Trustworthy Software (可信軟件基礎研究)

*完成訂單後正常情形下約兩周可抵台。
*本賣場提供之資訊僅供參考，以到貨標的為正確資訊。
印行年月：202206*若逾兩年請先於客服中心或Line洽詢存貨情況，謝謝。
台灣(台北市)在地出版社，每筆交易均開具統一發票，祝您中獎最高1000萬元。
書名：The Fundamental Research for Trustworthy Software (可信軟件基礎研究)
ISBN：9787308227599
出版社：浙江大學
著編譯者：可信軟體基礎研究項目組
頁數：101
所在地：中國大陸 *此為代購商品
書號：1514249
可大量預訂，請先連絡。

【台灣高等教育出版社簡體書】 The Fundamental Research for Trustworthy Software (可信軟件基礎研究) 787308227599 可信軟體基礎研究項目組

內容簡介

本書為「中國基礎研究報告」叢書《可信軟體基礎研究》英文版，基於國家自然科學基金重大研究計劃「可信軟體基礎研究」的研究成果寫作完成。該重大研究計劃以國家關鍵應用領域中軟體可信性問題為主攻目標，針對「軟體可信性度量與建模」「可信軟體的構造與驗證」「可信軟體的演化和控制」和「可信環境的構造與評估」等科學問題，從基礎理論體系、方法與平台架構、典型應用示範等三方面對軟體可信性進行了深入研究，獲得了重要成果和進展。

目錄

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

詳細資料或其他書籍請至台灣高等教育出版社查詢，查後請於客服中心或Line或本社留言板留言，我們即儘速上架。

大陸簡體正版圖書，訂購後正常情形下約兩周可抵台。