%0 Journal Article
%T On Refinement Calculus with Program Window Inference<br>基于程序窗口推理的精化演算
%A WANG Yun-feng
%A LI Bi-xin
%A PANG Jun
%A ZHA Ming
%A ZHENG Guo-liang
%A <br>王云峰
%A 李必信
%A 庞军
%A 查鸣
%A 郑国梁
%J 软件学报
%D 2000
%I 
%X Data refinement is hard to deal with in a refinement tool compared with ordinary algorithmic refinement, since data refinement usually has to be done on a large program component at once. So it is important to learn how to perform data refinement effectively. In this paper, the background is introduced first, then the data refinement calculator is constructed. Finally an approach is proposed for data refinement which is based on data refinement calculus and program window inference.
%K Formal software development method
%K refinement calculus
%K data refinement
%K progra m window inference<br>形式化软件开发方法
%K 精化演算
%K 数据精化
%K 程序
%K 窗口推理.
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=DB74BEEC5D781137&yid=9806D0D4EAA9BED3&vid=708DD6B15D2464E8&iid=5D311CA918CA9A03&sid=5DD55A2029F498FE&eid=E6E6318AC4BCBFDB&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=7