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

Algorithmic derivation and automatic generation from specification on PAR platform

作　　者：王昌晶[1] 薛锦云[1] 

机构地区：[1]中国科学院软件研究所

出　　处：《计算机工程与应用》2007年第2期41-42,59,共3页Computer Engineering and Applications

基　　金：国家自然科学基金资助项目(60273092);科技部973重大基础研究发展前期专项资助项目(2003CCA02800);江西省2004年教学改革课题项目;江西师范大学2005年青年成长基金项目。

摘　　要：简要介绍PAR方法及其支撑平台,使用PAR方法及其平台从规约出发形式化推导并生成了两个典型的算法程序。PAR方法及其平台使用一阶谓词逻辑表示功能规约,分划与递推来进行算法形式推导,各种转换系统来自动生成算法程序。这显著地提高了算法程序的正确性和开发效率,也有助于深刻地理解算法设计思想。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.h distinctly improves correctness of algorithmic programs and development effficiency,does favor to profoundly understand soul of algorithmic design.

关 键 词：PAR方法 PAR平台 规约 形式推导 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]