基于PAR方法和PAR平台的泛型程序设计关键技术研究
批准号：
60573080
项目类别：
面上项目
资助金额：
24.0 万元
负责人：
薛锦云
依托单位：
学科分类：
软件理论、软件工程与服务
结题年份：
2008
批准年份：
2005
项目状态：
已结题
项目参与者：
杨庆红、徐文胜、胡启敏、化志章、郑宇军、石海鹤、左正康、王昌晶、薛慧琦
项目摘要
结项摘要
项目成果
薛锦云的其他基金
相似基金
相关文献
中文摘要
使用泛型程序设计技术可以大幅度提高程序的可重用性、可靠性和开发效率，使建设软件构件工厂的理想得以实现。本项研究基于申请者在8项国家级课题研究中形成的软件形式化开发的PAR方法和PAR平台，在进一步完善自定义Radl语言和Ap1a语言已有泛型机制的基础上, 提出并实现基于逻辑和代数结构的参数约束机制，定义并实现高阶泛型机制，研究泛型算法和泛型程序正确的理论标准，提出设计和证明泛型算法和泛型程序的新方法,并探索用范畴论描述推导和证明泛型算法和泛型程序的过程，给出泛型算法和泛型程序正确的范畴论解释。这项研究的成功可以使PAR方法和PAR平台全面实现泛型程序设计功能，在软件自动生成和形式化开发中发挥更大的作用，并克服隐式泛型的局限性，还可为国际泛型程序设计关键技术的解决提供切实可行的方案，使我国这方面的研究进入国际先进行列，具有较高的理论和实际应用价值。
英文摘要
期刊论文列表
专著列表
科研奖励列表
会议论文列表
专利列表
登录
查看更多内容
DOI：
--
发表时间：
--
期刊：
微电子学与计算机
影响因子：
--
作者：
[薛锦云, 揭安全]
通讯作者：
揭安全
DOI：
--
发表时间：
--
期刊：
计算机工程
影响因子：
--
作者：
[薛锦云, 石海鹤]
通讯作者：
石海鹤
DOI：
--
发表时间：
--
期刊：
High Technology Letters, 2006, 12 (Supplement), 9EI收录(062910014124)
影响因子：
--
作者：
[郑宇军, 薛锦云]
通讯作者：
薛锦云
DOI：
--
发表时间：
--
期刊：
计算机科学与探索
影响因子：
--
作者：
[薛锦云, 杨波]
通讯作者：
杨波
DOI：
--
发表时间：
--
期刊：
江西师范大学学报(自然科学版)
影响因子：
--
作者：
[薛锦云, 陈勇光]
通讯作者：
陈勇光
共 34 条
新概念循环不变式及其自动探测技术研究
-
批准号：61472167
-
项目类别：面上项目
-
资助金额：82.0万元
-
批准年份：2014
-
负责人：薛锦云
-
依托单位：
高可靠软件建模语言及模型自动转换方法研究
-
批准号：61272075
-
项目类别：面上项目
-
资助金额：70.0万元
-
批准年份：2012
-
负责人：薛锦云
-
依托单位：
基于PAR平台的信息系统应用软件若干共性关键技术研究
-
批准号：60773054
-
项目类别：面上项目
-
资助金额：27.0万元
-
批准年份：2007
-
负责人：薛锦云
-
依托单位：
基于PAR方法的算法设计形式化和自动化研究
-
批准号：60273092
-
项目类别：面上项目
-
资助金额：22.0万元
-
批准年份：2002
-
负责人：薛锦云
-
依托单位：
分划递推法应用于高可靠Java程序开发方法研究
-
批准号：69983003
-
项目类别：专项基金项目
-
资助金额：13.0万元
-
批准年份：1999
-
负责人：薛锦云
-
依托单位：
实用的软件形式化方法及其开发工具研究
-
批准号：69783006
-
项目类别：专项基金项目
-
资助金额：12.0万元
-
批准年份：1997
-
负责人：薛锦云
-
依托单位：
若干新的算法程序设计和证明方法研究
-
批准号：69443001
-
项目类别：专项基金项目
-
资助金额：5.0万元
-
批准年份：1994
-
负责人：薛锦云
-
依托单位：
部分实现理论及其在算法形式推导和证明中的应用
-
批准号：68973040
-
项目类别：面上项目
-
资助金额：3.0万元
-
批准年份：1989
-
负责人：薛锦云
-
依托单位：
国内基金
海外基金