《指導專家組調研和組織學術會議費用》是依託華東師範大學，由何積豐擔任項目負責人的重大研究計畫。
基本介紹
- 中文名：指導專家組調研和組織學術會議費用
- 項目類別：重大研究計畫
- 項目負責人：何積豐
- 依託單位：華東師範大學
項目摘要,結題摘要,
項目摘要
針對國家信息化發展和重大工程套用對可信軟體的戰略需求，採用理論研究和實證研究相結合.的方法，揭示軟體可信和環境可信失效、度量和演化的基本規律，建立可信軟體及其環境構造.與驗證、演化與控制的方法和關鍵技術體系，研究可信軟體開發工具和運行支撐平台及環境，.並在典型的嵌入式軟體和網路套用軟體中進行驗證和示範，促進軟體從傳統的單一度量理論到.綜合性的可信度量理論及其構造方法的集成升華，提高我國在可信軟體領域的原始創新能力和.國際影響力，為國家相關重大計畫和工程的可信軟體研發提供科學支撐，培養一批高水平的研.究人才，促進我國軟體產業的崛起和發展。本項目用於支持可信軟體基礎研究專家組調研和學.術交流。
結題摘要
針對國家信息化發展和重大工程套用對可信軟體的戰略需求，採用理論研究和實證研究相結合的方法，揭示軟體可信和環境可信失效、度量和演化的基本規律，建立可信軟體及其環境構造與驗證、演化與控制的方法和關鍵技術體系，研究可信軟體開發工具和運行支撐平台及環境，並在典型的嵌入式軟體和網路套用軟體中進行驗證和示範，促進軟體從傳統的單一度量理論到綜合性的可信度量理論及其構造方法的集成升華，提高我國在可信軟體領域的原始創新能力和國際影響力，為國家相關重大計畫和工程的可信軟體研發提供科學支撐，培養一批高水平的研究人才，促進我國軟體產業的崛起和發展。 本項目用於支持可信軟體基礎研究專家組調研和學術交流。
