程序规约变换技术在程序设计中的应用  

The Application of Transformation Techniques of Program Specification in Program Design

作　　者：黄海飞[1] 杨庆红[1] 薛锦云[1] 

机构地区：[1]江西师范大学计算机信息工程学院,江西南昌330022

出　　处：《江西科学》2006年第6期463-465,共3页Jiangxi Science

基　　金：国家自然科学基金项目(NO:60273092);江西省教育厅科技项目

摘　　要：算法设计是程序设计的难点和关键。本文利用程序规约的变换技术得到了排序问题和最长升序问题的算法,并清晰地展示了程序设计的过程,为算法程序设计提供了一种有效的方法和途径。Algorithm design is very difficult and very important in program design. This paper offered a kind of effective method and way for program design. With transformation techniques of program specification, the algorithms of sort and the longest sort ascending can be easily obtained, and the process of program design can be distinctly showed.

关 键 词：程序规约 变换技术 算法程序 

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