The advantage of COOZ (Complete Object-Oriented Z) is to specify large scale software, but it does not support refinement calculus. Thus its application is confined for software development. Including refinement calc...The advantage of COOZ (Complete Object-Oriented Z) is to specify large scale software, but it does not support refinement calculus. Thus its application is confined for software development. Including refinement calculus into COOZ overcomes its disadvantage during design and implementation. The separation between the design and implementation for structure and notation is removed as well. Then the software can be developed smoothly in the same frame. The combina- tion of COOZ and refinement calculus call build object-oriented frame, in which the specification in COOZ is refined stepwise to code by calculus. In this paper, the development model is established, which is based on COOZ and refinement calculus. Data refinement is harder to deal with in a refinement tool than ordinary algorithmic refinement, since data refinement usually has to be done on a large program component at once. As to the implemelltation technology of refinement calculus, the data refinement calculator is constructed and an approach for data refinement which is based on data refinement calculus and program window inference is offered.展开更多
On October 18,the Ministry of Industry and Information Technology compiled and promulgated'Development Plan for Nonferrous Metals Industry(2016-2020)'i.e.the'Thirteenth Five Year'Development Plan for N...On October 18,the Ministry of Industry and Information Technology compiled and promulgated'Development Plan for Nonferrous Metals Industry(2016-2020)'i.e.the'Thirteenth Five Year'Development Plan for Nonferrous Metals Industry(MIIT G[2016]No.316,hereinafter The'Plan').The'Plan'mentioned that,by the end of 2020 China’s nonferrous metals industry will join the ranks of world powers.展开更多
基金the National Natural Science Foundation of China (No.69673006) and theNational Ninth Five-Year Project (98-780-01-07-06) of Ch
文摘The advantage of COOZ (Complete Object-Oriented Z) is to specify large scale software, but it does not support refinement calculus. Thus its application is confined for software development. Including refinement calculus into COOZ overcomes its disadvantage during design and implementation. The separation between the design and implementation for structure and notation is removed as well. Then the software can be developed smoothly in the same frame. The combina- tion of COOZ and refinement calculus call build object-oriented frame, in which the specification in COOZ is refined stepwise to code by calculus. In this paper, the development model is established, which is based on COOZ and refinement calculus. Data refinement is harder to deal with in a refinement tool than ordinary algorithmic refinement, since data refinement usually has to be done on a large program component at once. As to the implemelltation technology of refinement calculus, the data refinement calculator is constructed and an approach for data refinement which is based on data refinement calculus and program window inference is offered.
文摘On October 18,the Ministry of Industry and Information Technology compiled and promulgated'Development Plan for Nonferrous Metals Industry(2016-2020)'i.e.the'Thirteenth Five Year'Development Plan for Nonferrous Metals Industry(MIIT G[2016]No.316,hereinafter The'Plan').The'Plan'mentioned that,by the end of 2020 China’s nonferrous metals industry will join the ranks of world powers.
