基于Object-Z生成Python代码的研究  

作　　者：袁鼎 刘振宇[1] 

机构地区：[1]南华大学计算机学院,湖南省衡阳市421001

出　　处：《电子技术与软件工程》2019年第5期234-235,共2页ELECTRONIC TECHNOLOGY & SOFTWARE ENGINEERING

基　　金：(基金编号:2018KYY086)南华大学研究生科研基金支持

摘　　要：在本文中,我们将提出一种从OZ到Python的映射去验证这些规范。在这个映射中,包括前置条件、后置条件和变量都将被验证,这些都是建立在使用lambda函数(以下简称L函数)和Python的编辑器上的。本研究发现Python对于开发从OZ映射到Python的函数库来说是一种相对完美的语言。

关 键 词：OBJECT-Z PYTHON 面向对象编程 契约式设计 

分 类 号：TP311.1[自动化与计算机技术—计算机软件与理论]