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

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

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