国家级、省部级课题
发表时间::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 |