形式化PAR方法及其算法程序规约精化机理  

Formal Method PAR and Its Algorithmic Program Specification Refinement Mechanism

作　　者：苏昭[1] 

机构地区：[1]江西科技学院信息工程学院

出　　处：《江西科技学院学报》2014年第3期53-57,共5页Journal of Jiangxi University of Technology

基　　金：江西科技学院自然科学基金项目“基于项目反应理论的成人高考数学模块化训练系统的研制”(NO.XYKJ2011012);江西科技学院协同创新基金项目“面向车联网的智能交通最短路径算法的优化及其应用研究”(NO.xtcx201318)

摘　　要：用形式化方法开发软件是提高软件生产效率和可靠性的革命性途径,是实现软件自动化的决定性关键。文章介绍了一种新的支持作为软件开发核心的算法设计的形式化方法PAR,分析了其理论基础及算法程序规约精化机理,并结合一个经典实例开发展示了PAR的具体使用,给出PAR的实际应用项目,最后对PAR进行了评述。Developing software using formal method is a revolutionary way to develop software efficiently and reliably, and is key to realize software automation. This paper introduces a new formal method PAR that supported automatic algorithm design, analyzes its theoretical foundation and specification refinement theory, then presents a detailed example of using PAR is and illustrated one practical application. Finally gave the discussions and conclusions. Key words： formal method PAR ; specification refinement; algorithmic program

关 键 词：形式化PAR方法 规约精化 算法程序 

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