作者：文志诚; 缪淮扣; 孙军梅多态前置条件后置条件推理重用
摘要：Object-Z是形式规格说明语言Z的面向对象扩充，基于严格的集合论与数理逻辑，具有面向对象的特点：类、对象、继承、封装与多态等。用它可以精确描述大型软件需求规格说明，且能够进行严密的逻辑推理与验证。本文主要探讨了它的多态性推理，给出了相应的推理规则与方法，可以推理出Object-Z的多态行为，并着重体现推理的重用。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《计算机科学》（CN：50-1075/TP）是一本有较高学术价值的大型月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《计算机科学》报导国内外计算机科学与技术的发展动态，以其新颖、准确、及时为特色，突出动态性、综述性、学术性，“前沿学科”与“基础研究”相结合；“优秀技术”与“支撑技术”相结合；“倡导”与“争鸣”相结合。
省级期刊
人气 753021 评论 72
人气 483929 评论 71
人气 462654 评论 66
部级期刊
人气 441840 评论 69
