若干新的算法程序设计和证明方法研究
批准号：
69443001
项目类别：
专项基金项目
资助金额：
5.0 万元
负责人：
薛锦云
依托单位：
学科分类：
软件理论、软件工程与服务
结题年份：
1996
批准年份：
1994
项目状态：
已结题
项目参与者：
李云清、杨庆红、罗杰
关键词：
项目成果
薛锦云的其他基金
相似基金
相关文献
期刊论文列表
专著列表
科研奖励列表
会议论文列表
专利列表
登录
查看更多内容
DOI：
--
发表时间：
--
期刊：
计算机与数字工程
影响因子：
--
作者：
[吴云峰, 薛锦云, 杨庆红]
通讯作者：
杨庆红
DOI：
--
发表时间：
--
期刊：
计算机与现代化
影响因子：
--
作者：
[李云清, 薛锦云]
通讯作者：
薛锦云
DOI：
--
发表时间：
--
期刊：
理论计算机科学进展
影响因子：
--
作者：
[薛锦云]
通讯作者：
薛锦云
DOI：
--
发表时间：
--
期刊：
计算机科学
影响因子：
--
作者：
[万剑怡, 薛锦云]
通讯作者：
薛锦云
DOI：
--
发表时间：
--
期刊：
JOURNAL OF COMPUTER SCIENCE AN
影响因子：
作者：
[薛锦云, ]
通讯作者：
共 8 条
新概念循环不变式及其自动探测技术研究
-
批准号：61472167
-
项目类别：面上项目
-
资助金额：82.0万元
-
批准年份：2014
-
负责人：薛锦云
-
依托单位：
高可靠软件建模语言及模型自动转换方法研究
-
批准号：61272075
-
项目类别：面上项目
-
资助金额：70.0万元
-
批准年份：2012
-
负责人：薛锦云
-
依托单位：
基于PAR平台的信息系统应用软件若干共性关键技术研究
-
批准号：60773054
-
项目类别：面上项目
-
资助金额：27.0万元
-
批准年份：2007
-
负责人：薛锦云
-
依托单位：
基于PAR方法和PAR平台的泛型程序设计关键技术研究
-
批准号：60573080
-
项目类别：面上项目
-
资助金额：24.0万元
-
批准年份：2005
-
负责人：薛锦云
-
依托单位：
基于PAR方法的算法设计形式化和自动化研究
-
批准号：60273092
-
项目类别：面上项目
-
资助金额：22.0万元
-
批准年份：2002
-
负责人：薛锦云
-
依托单位：
分划递推法应用于高可靠Java程序开发方法研究
-
批准号：69983003
-
项目类别：专项基金项目
-
资助金额：13.0万元
-
批准年份：1999
-
负责人：薛锦云
-
依托单位：
实用的软件形式化方法及其开发工具研究
-
批准号：69783006
-
项目类别：专项基金项目
-
资助金额：12.0万元
-
批准年份：1997
-
负责人：薛锦云
-
依托单位：
部分实现理论及其在算法形式推导和证明中的应用
-
批准号：68973040
-
项目类别：面上项目
-
资助金额：3.0万元
-
批准年份：1989
-
负责人：薛锦云
-
依托单位：
国内基金
海外基金