Journal of Applied Sciences ›› 2003, Vol. 21 ›› Issue (3): 289-295.

• Articles • Previous Articles     Next Articles

An Approach to Applying Genetic Algorithm to Predicate Refinement

CAO Xiao-xia, MIAO Huai-kou, GAO Xiao-lei   

  1. School of Computer Engineering and Science, Shanghai University, Shanghai 200072, China
  • Received:2002-05-27 Revised:2002-12-31 Online:2003-09-10 Published:2003-09-10

Abstract: Selecting rules is the most difficult and creative work in predicate refinement. This paper gives a method of refinement from specification to program code by combining Manna's program synthesis method with Caroll Morgan's refinement calculus. The paper also presents a method for applying genetic algorithm to predicate refinement.

Key words: refinement, predication refinement, software automation, genetic algorithm

CLC Number: