%0 Journal Article
%T From Object-Oriented Z Specification to Code by Refinement Calculus<br>一种从面向对象Z规约到代码的精化演算方法
%A WANG Yun-feng
%A PANG Jun
%A ZHA Ming
%A YANG Zhao-hui
%A ZHENG Guo-liang
%A <br>王云峰
%A 庞军
%A 查鸣
%A 杨朝晖
%A 郑国梁
%J 软件学报
%D 2000
%I 
%X The advantage of COOZ (complete object-oriented Z) is to specify large scale so ftware, but it does not support refinement calculus. Thus its application is con fined and it can not be taken as a complete method for software development. I ncluding refinement calculus into COOZ remedies its disadvantage during design and implementation. The separation between the design and implementation for st ructure and notation is removed as well. Then the software can be developed smoo thly in the same frame. In this paper, development model is established, which i s based on COOZ and refinement calculus. Data refinement and operation refinemen t are debated with a example. As for implementary technology of refinement calcu lus, a data refinement calculator is constructed and an approach for data refi nement which is based on data refinement calculus and program window inference is provided.
%K Formal development method
%K refinement calculus
%K formal specification
%K object-or iented<br>形式化开发方法
%K 精化演算
%K 形式规约
%K 面向对象.
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=BED4E5786A317FB0&yid=9806D0D4EAA9BED3&vid=708DD6B15D2464E8&iid=5D311CA918CA9A03&sid=8F39F7FDA07C2566&eid=9A7C41A6BCE530C0&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=5