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

The Application of Transformation Techniques of Program Specification in Program Design

算法设计是程序设计的难点和关键。本文利用程序规约的变换技术得到了排序问题和最长升序问题的算法,并清晰地展示了程序设计的过程,为算法程序设计提供了一种有效的方法和途径。

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.