计算机科学 ›› 2006, Vol. 33 ›› Issue (7): 230-232.
• 计算机网络与信息安全 • 上一篇 下一篇
文志诚 缪淮扣 孙军梅
出版日期:
发布日期:
基金资助:
WEN Zhi-Cheng, MIAO Huai-Kou, SUN Jun-Mei （School of Computer Engineering and Science, Shanghai University, Shanghai 200072）
Online:
Published:
摘要： Object-Z是形式规格说明语言Z的面向对象扩充，基于严格的集合论与数理逻辑，具有面向对象的特点：类、对象、继承、封装与多态等。用它可以精确描述大型软件需求规格说明，且能够进行严密的逻辑推理与验证。本文主要探讨了它的多态性推理，给出了相应的推理规则与方法，可以推理出Object-Z的多态行为，并着重体现推理的重用。
关键词: Object-Z 多态 前置条件 后置条件 推理 重用
Abstract: Object-Z is an extension to the formal specification language Z, which facilitates specification in an object-oriented style and thus has object-oriented characteristics. It improves the clarity of large specifications through enhanced structuring. Class
Key words: Object-Z, Polymorphism, Precondition, Postcondition, Reasoning, Reuse
文志诚 缪淮扣 孙军梅. 基于Object-Z多态推理[J]. 计算机科学, 2006, 33(7): 230-232. https://doi.org/
WEN Zhi-Cheng, MIAO Huai-Kou, SUN Jun-Mei （School of Computer Engineering and Science, Shanghai University, Shanghai 200072）. [J]. Computer Science, 2006, 33(7): 230-232. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2006/V33/I7/230
Cited
首页