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

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

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