The Fundamental Research for Trustworthy Software（可信軟件基礎研究）

　　【叢書介紹】“中國基礎研究報告”叢書是國家自然科學基金委員會首次組織的整體展示我國基礎研究水平和格局的叢書，系統(tǒng)展示了我國重點布局的關鍵基礎研究領域的重大原創(chuàng)成果，反映了我國近年來在基礎前沿領域的飛躍式發(fā)展，代表了我國基礎科學研究的最高水平。叢書主編楊衛(wèi)院士評價該叢書為“我國基礎研究的‘史書’記載”。該叢書可為今后的研究者提供豐富的科研素材和創(chuàng)新源泉，將引領相關學科研究領域的持續(xù)發(fā)展，對推動我國基礎研究發(fā)展和世界科技強國建設起到積極的促進作用，對實現(xiàn)我國重大基礎研究成果的傳播和普及具有重大的社會和經(jīng)濟價值。 【本書介紹】《The Fundamental Research for Trustworthy Software（可信軟件基礎研究）》本書為“中國基礎研究報告”叢書《可信軟件基礎研究》英文版，由何積豐院士擔任主編，基于國家自然科學基金重大研究計劃“可信軟件基礎研究”的研究成果寫作完成。本書以國家關鍵應用領域中軟件可信性問題為主攻目標，針對“軟件可信性度量與建模”“可信軟件的構造與驗證”“可信軟件的演化和控制”和“可信環(huán)境的構造與評估”等科學問題，從基礎理論體系、方法與平臺架構、典型應用示范等三方面對軟件可信性重要成果和進展進行了深入闡釋。本書主編為何積豐，計算機軟件專家，主要從事計算機軟件理論及應用研究。

　　可信軟件基礎研究項目組指導專家組組長為何積豐。何積豐，計算機軟件專家，中國科學院院士，華東師范大學軟件學院院長、教授、博士生導師。主要從事計算機軟件理論及應用研究。