RESEARCH ON AUTOMATIC REFINEMENT OF OOZE

OOZE is a wide spectrum language which is object oriented extension of Z. The technique of automatic refinement from software specification in OOZE to executable program is discussed with emphasis on data refinement.The corresponding automatic refinement rules are given for the nested composite types in Z and the class structure in OOZE. The steps of the operation refinement using automatic technique are also described.