%0 Journal Article
%T On Subtyping Inheritance and Inference Rules in Object-Oriented Z<br>面向对象Z的子类型继承和推理规则
%A WANG Yun-feng
%A LI Bi-xin
%A ZHENG Guo-liang
%A <br>王云峰
%A 李必信
%A 郑国梁
%J 软件学报
%D 2000
%I 
%X The inheritance relation of COOZ is discussed. It is divided into increasing inheritance and subtyping inheritance. The latter is studied and a behavioral subtyping inheritance is defined, by which the specification inheritance and its inference rules are defined. The soundness of the method is proved. The offered method is constructive compared with that of E. Cusack and is more flexible than that of Liskov et al.
%K Formal method
%K object oriented
%K inheritance
%K subtyping
%K formal specification<br>形式方法
%K 面向对象
%K 继承
%K 子类型
%K 形式规约.
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=ADB59E7EBA8DAE1C&yid=9806D0D4EAA9BED3&vid=708DD6B15D2464E8&iid=E158A972A605785F&sid=283B38DAD0D068F3&eid=8C8D895E58E44DBB&journal_id=1000-9825&journal_name=软件学报&referenced_num=4&reference_num=9