国家级、省部级课题

发表时间:2017/04/14 19:53:20  浏览次数:92

            项目\课题名称           项目来源  项目起讫时间  负责人 科研经费
 (万元)
 若干软件新技术及其在PAR平台中的实验研究  国家自然科学基金重大国际合作研究项目  2010-2014  薛锦云    250
 新型高可靠软件开发平台及其相关理论研究  科技部国际科技合作项目  2008-2011  薛锦云    89
 基于PAR平台的信息系统应用软件若干共性关键技术研究  国家自然科学基金面上项目  2008-2010  薛锦云    27
 基于PAR方法和PAR平台的泛型程序设计关键技术研究  国家自然科学基金面上项目  2006-2008  薛锦云    24
 首届计算机科学和软件新技术国际论坛  国家自然科学基金国际合作交流项目  2007-2007  薛锦云    4
 形式化方法制导的软件自动化研究  科技部973前期研究专项  2004-2007  薛锦云    45
 基于PAR方法的算法设计形式化和自动化研究  国家自然科学基金面上项目  2003-2005  薛锦云    22
 分划递推法应用于高可靠Java程序开发方法研究  国家自然科学基金面上项目  2000-2002  薛锦云    13
 实用的软件形式化方法及其开发工具研究  国家自然科学基金面上项目  1998-2000  薛锦云    12
 具有容错功能的ADA可重用部件库  国家科工委预研重点项目  1991-1997  薛锦云    20
 若干新的算法程序设计和证明方法研究  国家自然科学基金主任基金项目  1994-1996  薛锦云    5
 探索一种系统的算法程序设计和证明方法  国家863项目  1994-1996  薛锦云    5
 部分实现理论及其在软件形式化推导和证明中的应用研究  国家自然科学基金面上项目  1990-1992  薛锦云    3
 复杂算法程序循环不变式生成技术研究  中科院国家重点实验室开放课题  2010-2011  薛锦云    10
 效率驱动的算法设计形式化研究  中科院开放实验室  2004-2006  薛锦云    8
 高可靠性计算机程序开发系统  江西省跨世纪学术和技术带头人项目  1997-2003  薛锦云    20
 基于PAR的软件和构件求精与组装技术研究  江西省自然科学基金  2011-2012  胡启敏    1.5
 高性能软件形式化验证若干关键技术研究  江西省自然科学基金  2011-2012  石海鹤    1.5
 演化信息驱动的软件体系结构重构技术研究  江西省自然科学基金  2009-201  钟林辉    1
 基于PAR的算法自动生成若干关键技术研究  江西省自然科学基金  2009-2010  石海鹤    1
 曙光并行机上的新型并行程序开发环境  江西省自然科学基金  2005-2007  万剑怡    1