论文部分内容阅读
The advantage of COOZ (Complete Object-Oriented Z) is to specify rnlarge scale software, but it does not support refinement calculus. Thus its applicarntion is confined for software development. Including refinement calculus into COOZ rnovercomes its disadvantage during design and implementation. The separation berntween the design and implementation for structure and notation is removed as well.rnThen the software can be developed smoothly in the same frame. The combinarntion of COOZ and refinement calculus can build object-oriented frame, in which the rnspecification in COOZ is refined stepwise to code by calculus. In this paper, the rndevelopment model is established, which is based on COOZ and refinement calculus.rnData refinement is harder to deal with in a refinement tool than ordinary algorithmic rnrefinement, since data refinement usually has to be done on a large program compornnent at once. As to the implementation technology of refinement calculus, the data rnrefinement calculator is constructed and an approach for data refinement which is rnbased on data refinement calculus and program window inference is offered.