This paper presents simulation of developing a telephone exchange system by transformational method （Specification+Transformation=Software）. Refinement of data and decomposition of operations are done by a series of transformations from specification to program that can run. The whole procedure of developing is described in the transformational language Polya. At last a suggestion of improving Polya is made.
DownLoad: