The Fundamental Research for Trustworthy Software
暫譯: 可信軟體的基礎研究
He, Jifeng
- 出版商: Springer
- 出版日期: 2024-11-24
- 售價: $5,810
- 貴賓價: 9.5 折 $5,520
- 語言: 英文
- 頁數: 79
- 裝訂: Quality Paper - also called trade paper
- ISBN: 9819955912
- ISBN-13: 9789819955916
海外代購書籍(需單獨結帳)
相關主題
商品描述
This book mainly introduces the research overview, results, and achievements of "The Fundamental Research for Trustworthy Software", a major research plan of NSFC. The Plan focuses on four key scientific issues:
(i) measurement and modeling of software trustworthiness;
(ii) construction and verification of trustworthy software;
(iii) evolution and control of trustworthy software;
(iv) trusted environment construction and evaluation.
This book aims to establish a research framework for fundamental research on trustworthy software by focusing on the trustworthiness of embedded software and network application software, as well as the trustworthiness of software in key application fields in China. This book is intended for researchers who have been following the evolution of and trends in the trustworthy software; the book is also a valuable reference resource for practitioners and scholars at various levels and in various fields.商品描述(中文翻譯)
本書主要介紹「可信軟體的基礎研究」這一國家自然科學基金委員會（NSFC）重大研究計畫的研究概述、成果和成就。該計畫專注於四個關鍵科學問題：
(i) 軟體可信度的測量與建模；
(ii) 可信軟體的構建與驗證；
(iii) 可信軟體的演化與控制；
(iv) 可信環境的構建與評估。
本書旨在通過聚焦於嵌入式軟體和網路應用軟體的可信度，以及中國關鍵應用領域中軟體的可信度，建立一個可信軟體基礎研究的研究框架。本書適合持續關注可信軟體的演變與趨勢的研究人員；同時也是各個層級和不同領域的實務工作者和學者的重要參考資源。
作者簡介
Prof. Jifeng He graduated from the mathematics department at Fudan University of China in 1965. He was Senior Research Fellow at the Programming Research Group in the Oxford University Computing Laboratory. Since 1986, Jifeng He has been Professor of Computer Science at East China Normal University in Shanghai, China. He was elected as Academician of the Chinese Academy of Sciences in 2005.
作者簡介(中文翻譯)
何濟峰教授於1965年畢業於中國復旦大學數學系。他曾擔任牛津大學計算實驗室程式設計研究小組的高級研究員。自1986年以來，何濟峰教授一直擔任中國上海華東師範大學的計算機科學教授。他於2005年當選為中國科學院院士。
