位置：立项数据库 > 立项详情页
基于PAR方法的算法设计形式化和自动化研究
  • 项目名称：基于PAR方法的算法设计形式化和自动化研究
  • 项目类别：面上项目
  • 批准号：60273092
  • 申请代码：F020201
  • 项目来源：国家自然科学基金
  • 研究期限：2003-01-01-2005-12-01
  • 项目负责人：薛锦云
  • 负责人职称：教授
  • 依托单位：江西师范大学
  • 批准年度：2002
中文摘要：

基于四个国家自然科学基金连续资助下形成的PAR方法，进一步深入研究算法演算这一新概念的机理和方法，寻找从算法规约（低效算法）形式推导快速RADL算法的规律，进而构造基于知识的生成最优化算法的自动转换工具，课题涉及软件开发形式化和自动化、算法程序形式推导和证明研究最关键最具挑战性内容。这是一项原始创新研究的继续意义明显。

中文主题词： 算法设计形式化；PAR方法；算法设计自动化；泛型程序设计
结论摘要：

英文主题词formalization of Algorithm design;PAR method; Automatization of algorithm design;Generic Programming

成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 23
  • 0
  • 0
  • 0
  • 17
期刊论文
Radl算法到Apla程序的生成系统
AOP及其在状态机工作流中的应用
基于软件体系结构的可复用构件模型
若干算法程序的形式化推导与生成技术研究
算法及其时间复杂度可同步形式化推导的方法
基于Spring框架的轻量级J2EE架构与应用
General-Service Ballistic Computer Programming Based on B-Method
树非递归遍历统一的新解法及其形式证明
面向装备联勤保障的约束程序设计框架
UNITY与典型程序设计模型的比较
Hanoi塔非递归算法的形式化推导和正确性验证
一种基于Apla—Java可重用部件库的并行（并发）程序开发方法
基于软构件技术的OA系统的设计与实现
Floyd不变式断言法在程序设计教学中的应用
基于PAR方法的管理信息系统需求建模研究
基于方面构件模型及其组装与实现
一种基于规约精化的货物分发问题求解方案分析
基于XML的可适应性工作流系统研究
基于构件开发与传统面向对象开发之比较
基于复杂递归类问题的可重用程序模板研究
基于Smart Client的远程教学系统的研究
著作
一种将设计模式用于程序精化演算的并行程序设计方法研究
遗传算法机理的研究与应用
UNITY与典型程序设计模型的比较
基于PAR方法的智能教学软件平台在树图算法教学中的应用
形式化方法B及其程序规约机理
程序规约变换技术在程序设计中的应用
Toward a unified implementation for dynamic programming
循环不变式开发新策略及其应用
依赖注入技术及其执行过程的形式化描述
MISCE A Semi-Automatic Development Environment for Logisitc information Systems
Spec#语言中的形式化特性
基于spin/promela的并发系统验证
基于模型检测技术的网络安全协议形式化分析研究
时态逻辑形式化描述并发系统性质
由程序规约推导程序
Agent技术在程序设计智能教学系统中的应用
面向装备联勤保障的约束程序设计框架
相关项目
泛型程序的规范和验证问题研究
期刊论文 5 会议论文 5
薛锦云的项目
若干新的算法程序设计和证明方法研究
期刊论文 8 获奖 6
若干软件新技术及其在PAR平台中的实验研究
期刊论文 49 会议论文 7 获奖 4 著作 3
计算机科学和软件新技术
分划递推法应用于高可靠Java程序开发方法研究
期刊论文 2
部分实现理论及其在算法形式推导和证明中的应用
期刊论文 1
实用的软件形式化方法及其开发工具研究
期刊论文 2
基于PAR平台的信息系统应用软件若干共性关键技术研究
期刊论文 36 会议论文 20 获奖 6
第十届构件化软件形式化方法国际研讨会及相关前沿技术讲习班
高可靠软件建模语言及模型自动转换方法研究
期刊论文 9
新概念循环不变式及其自动探测技术研究
期刊论文 4
基于PAR方法和PAR平台的泛型程序设计关键技术研究
期刊论文 39 会议论文 22