科学研究

国家级、省部级课题

发表时间::2017-12-29 17:23:12  浏览次数:

            项目\课题名称          项目来源 项目起讫时间 负责人科研经费
 (万元)
 若干软件新技术及其在PAR平台中的实验研究 国家自然科学基金重大国际合作研究项目

 2010-

2014

 薛锦云   250
新概念循环不变式及其自动探测技术研究国家自然科学基金面上项目

2014-

2017

薛锦云  82
高可靠软件建模语言及模型自动转换方法研究国家自然科学基金面上项目

2012-

2015

薛锦云  70
 新型高可靠软件开发平台及其相关理论研究 科技部国际科技合作项目

 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框架下形式化构件装配的高效生物系列分析动态规划算法构造国家自然科学基金地区基金

2016-

2019

石海鹤  39
模型驱动的高可靠图算法构件自动生成研究国家自然科学基金地区基金

2013-

2016

石海鹤  45
云计算环境下基于不变式的并发分布式算法形式化验证方法研究国家自然科学基金地区基金

2017-

2020

王昌晶  38
形式化软件规约Radl获取、验证与确定方法研究国家自然科学基金地区基金

2013-

2017

王昌晶  45
PAR平台中算法程序模型变换正确性研究国家自然科学基金地区基金

2016-

2019

胡启敏  39
基于模型驱动的并发建模语言Apla+设计及其可靠性研究国家自然科学基金地区基金

2014-

2017

游珍  47
基于代数结构及公理语义的泛型约束方法研究国家自然科学基金地区基金

2014-

2017

左正康  44
 基于PAR的软件和构件求精与组装技术研究 江西省自然科学基金

 2011-

2012

 胡启敏   1.5
 高性能软件形式化验证若干关键技术研究 江西省自然科学基金

 2011-

2012

 石海鹤   1.5
 基于PAR的算法自动生成若干关键技术研究 江西省自然科学基金

 2009-

2010

 石海鹤   1