PAR平台从规约出发的算法推导与自动生成

计算机工程与应用 ›› 2007, Vol. 43 ›› Issue (2): 41-41.

PAR平台从规约出发的算法推导与自动生成

王昌晶,薛锦云

江西师范大学计算机信息与工程学院

收稿日期:2006-05-15 修回日期:1900-01-01 出版日期:2007-01-11 发布日期:2007-01-11
通讯作者: 王昌晶 wcj771006

Algorithmic Derivation and Automatic Generation From Specification on PAR Paltform

江西师范大学计算机信息与工程学院

Received:2006-05-15 Revised:1900-01-01 Online:2007-01-11 Published:2007-01-11

摘要/Abstract

摘要： 简要介绍PAR方法及其支撑平台，使用PAR方法及其平台从规约出发形式化推导并生成了两个典型的算法程序。PAR方法及其平台使用一阶谓词逻辑表示功能规约，分划与递推来进行算法形式推导，各种转换系统来自动生成算法程序。这显著的提高了算法程序的正确性和开发效率，也有助于深刻的理解算法设计思想。

关键词: PAR方法, PAR方法, 规约, 形式推导

Abstract: Briefly introduce the PAR approach and its supporting platform, then derive and generate two typical algorithmic programs from specification using it. The PAR approach and its platform expresses function specification by first prediction logic, formally derives algorithm by partition and recurrence, and automatic generate algorithmic program by diversified transformation systems. It distinctly improves correctness of algorithmic programs and development efficiency,does favor to profoundly understand soul of algorithmic design.

Key words: PAR Approach, PAR Platform, Specification, Formal Derivation

王昌晶,薛锦云. PAR平台从规约出发的算法推导与自动生成[J]. 计算机工程与应用, 2007, 43(2): 41-41.

,. Algorithmic Derivation and Automatic Generation From Specification on PAR Paltform[J]. Computer Engineering and Applications, 2007, 43(2): 41-41.

[1]	孙晶，李硕，赵会群. 基本路径测试用例自动生成的方法研究[J]. 计算机工程与应用, 2018, 54(20): 48-53.
[2]	杜立智. 一个可行的RSA密码破译方法[J]. 计算机工程与应用, 2016, 52(14): 119-124.
[3]	佟超，王建新，齐建东. 基于形式化规约的缺陷规则库构建与检测方法[J]. 计算机工程与应用, 2014, 50(13): 66-72.
[4]	石彦华，李蜀瑜. 聚类反馈学习的数据清洗研究[J]. 计算机工程与应用, 2011, 47(30): 127-131.
[5]	吴立强1，杨晓元1，2，郝斌3，刘镇3. 并行的NTRU格规约算法[J]. 计算机工程与应用, 2011, 47(28): 62-64.
[6]	余波1，2，王昆1. 应用代数规约和数据变异策略测试类[J]. 计算机工程与应用, 2011, 47(21): 86-89.
[7]	高文宇. 有向图连通支配集求解算法[J]. 计算机工程与应用, 2010, 46(21): 9-13.
[8]	屈文建^1,2,薛锦云^3,4. PAR方法和循环不变式的范畴语义[J]. 计算机工程与应用, 2009, 45(8): 50-54.
[9]	闫光辉,李战怀. 基于遗传算法的无监督分形属性规约技术[J]. 计算机工程与应用, 2008, 44(10): 23-27.
[10]	胡启敏^1,2,薛锦云^1,2. 形式化方法Designware、B的比较[J]. 计算机工程与应用, 2007, 43(31): 96-99.
[11]	刘晓燕¹，张云生¹，J-J. Schwarz²，李俊昌¹. 基于C/S关系的实时系统构件交互规约[J]. 计算机工程与应用, 2007, 43(17): 104-107.
[12]	李勇华¹，毋国庆². 模拟执行操作目标的方法研究[J]. 计算机工程与应用, 2007, 43(15): 15-18.
[13]	石海鹤石海鹏薛锦云. 形式化开发Hanoi塔问题非递归算法[J]. 计算机工程与应用, 2007, 43(11): 96-99.
[14]	许红蕊姜波朱启晨. 基于实时操作系统uC/OS-II的通信管理机的研发[J]. 计算机工程与应用, 2007, 43(11): 208-210.