简介：TheadvantageofCOOZ(CompleteObject-OrientedZ)istospecifylargescalesoftware,butitdoesnotsupportrefinementcalculus.Thusitsapplicationisconfinedforsoftwaredevelopment.IncludingrefinementcalculusintoCOOZovercomesitsdisadvantageduringdesignandimplementation.Theseparationbetweenthedesignandimplementationforstructureandnotationisremovedaswell.Thenthesoftwarecanbedevelopedsmoothlyinthesameframe.ThecombinationofCOOZandrefinementcalculuscanbuildobject-orientedframe,inwhichthespecificationinCOOZisrefinedstepwisetocodebycalculus.Inthispaper,thedevelopmentmodelisestablished,whichisbasedonCOOZandrefinementcalculus.Datarefinementishardertodealwithinarefinementtoolthanordinaryalgorithmicrefinement,sincedatarefinementusuallyhastobedoneonalargeprogramcomponentatonce.Astotheimplementationtechnologyofrefinementcalculus,thedatarefinementcalculatorisconstructedandanapproachfordatarefinementwhichisbasedondatarefinementcalculusandprogramwindowinferenceisoffered.