A software development method was introduced in the paper, First we wrote tormal specification in Z and implemented the data refinement. Then we translated it into the refinement calculus notation. Finally we used the laws ot the refinement calculus to develop abstract programs into executable code. Translation rules from Z specification to abstract programs were represented.