位置：成果数据库 > 期刊 > 期刊详情页
若干算法程序的形式化推导与生成技术研究
  • ISSN号：1000-1239
  • 期刊名称：计算机研究与发展
  • 时间：0
  • 页码：148-153
  • 语言：中文
  • 分类：TP301.6[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]江西省高性能计算技术重点实验室,南昌,330022 江西师范大学瑶湖校区计算机信息工程学院,南昌,330022
  • 相关基金：国家自然科学基金项目(60273092);国家"九七三"重点基础研究发展规划基金项目(2003CCA02800);江西师范大学青年成长基金项目(1323)
  • 相关项目：基于PAR平台的信息系统应用软件若干共性关键技术研究
作者： 胡启敏|薛锦云|
关键词： PAR方法, 形式化推导, 算法程序, 递推关系
中文摘要：

PAR方法基于分划与递推、量词变换规则、循环不变式开发新策略和软件转换工具,实现了复杂算法问题的形式化开发.采用PAR方法形式化推导几个典型的算法问题.通过量词变换规则对程序规约进行形式化推导,可以得到具有数学引用透明性、易于形式化证明的求解算法问题的递推关系;并在此基础上,自然地导出循环不变式.在得到简短、易于理解、高可靠性的Apla算法程序之后,通过转换工具自动生成Java,C++等可执行程序.

同期刊论文项目
基于PAR平台的信息系统应用软件若干共性关键技术研究
期刊论文 36 会议论文 20 获奖 6
基于PAR方法的算法设计形式化和自动化研究
期刊论文 23 著作 17
同项目期刊论文
组合优化问题简约与算法推演
基于PAR的软件服务外包开发过程应用研究
PAR平台数据库查询优化方案
形式化方法在高中算法教学中的应用研究
A problem reduction based approach to discrete optimization algorithm design
三个经典数学问题的形式化开发
循环不变式开发技术研究
Huffman算法程序的形式化推导
后序遍历二叉树非递归算法的推导及形式化证明
Towards Semi-Automatic Generation of Provably Correct Algorithmic Programs
基于软件体系结构的可复用构件模型
关系代数派生算子语义表达式间等价性证明
软件测试在APLA→JAVA系统中的应用研究
泛型编程扩展及其JAVA实现
Formal analysis of cryptographic protocols in a knowledge algorithm logic framework
Knowledge-Based Support for Object-Oriented Software Design and Synthesis: a category theoretic appr
基于形式演算和不变式验证的可信算法程序构造(英文)
基于MSET的框架变化点实例化模式挖掘
一类0-1背包问题算法程序的形式化推导
基于SPEC#的功能性冗余软件开发
基于扩展的构件依赖关系图聚类的体系结构重构策略研究
基于PAR的算法形式化开发
装备维修规划的多目标优化模型和求解算法
并行遗传算法骨架的研究和实现
一组基于PAR的高可靠查找算法程序开发
数据驱动的多Agent装备器材保障决策支持系统
多核集群系统上的混合编程模型研究
XML在并行骨架描述中的应用
调频发射机的Wince驱动设计
Approach of generating parallel programs from parallelized algorithm design strategies
网格编程方法与环境综述
Radl算法到Apla程序的生成系统
AOP及其在状态机工作流中的应用
基于软件体系结构的可复用构件模型
算法及其时间复杂度可同步形式化推导的方法
基于Spring框架的轻量级J2EE架构与应用
General-Service Ballistic Computer Programming Based on B-Method
树非递归遍历统一的新解法及其形式证明
面向装备联勤保障的约束程序设计框架
UNITY与典型程序设计模型的比较
Hanoi塔非递归算法的形式化推导和正确性验证
一种基于Apla—Java可重用部件库的并行（并发）程序开发方法
基于软构件技术的OA系统的设计与实现
Floyd不变式断言法在程序设计教学中的应用
基于PAR方法的管理信息系统需求建模研究
基于方面构件模型及其组装与实现
一种基于规约精化的货物分发问题求解方案分析
基于XML的可适应性工作流系统研究
基于构件开发与传统面向对象开发之比较
基于复杂递归类问题的可重用程序模板研究
基于Smart Client的远程教学系统的研究
期刊信息
  • 《计算机研究与发展》
  • 中国科技核心期刊
  • 主管单位:中国科学院
  • 主办单位:中国科学院计算技术研究所
  • 主编：徐志伟
  • 地址：北京市科学院南路6号中科院计算所
  • 邮编：100190
  • 邮箱：crad@ict.ac.cn
  • 电话：010-62620696 62600350
  • 国际标准刊号：ISSN：1000-1239
  • 国内统一刊号：ISSN：11-1777/TP
  • 邮发代号:2-654
  • 获奖情况:
  • 2001-2007百种中国杰出学术期刊，2008中国精品科...,中国期刊方阵“双效”期刊
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,荷兰文摘与引文数据库,美国工程索引,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:40349