论文部分内容阅读
在本文中,我们将提出一种从OZ到Python的映射去验证这些规范。在这个映射中,包括前置条件、后置条件和变量都将被验证,这些都是建立在使用lambda函数(以下简称L函数)和Python的编辑器上的。本研究发现Python对于开发从OZ映射到Python的函数库来说是一种相对完美的语言。
基于Object-Z生成Python代码的研究
【摘 要】
：
在本文中,我们将提出一种从OZ到Python的映射去验证这些规范。在这个映射中,包括前置条件、后置条件和变量都将被验证,这些都是建立在使用lambda函数(以下简称L函数)和Python
【机 构】
：
南华大学计算机学院
【出 处】
：
电子技术与软件工程
【发表日期】
：
2019年5期
【基金项目】
：
(基金编号:2018KYY086)南华大学研究生科研基金支持
其他文献
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
随着人们生活水平的不断提高,生活中所需要的各种品牌的产品也逐渐趋于同质化,因此,人们对于各种产品的情感需求在不断增加,情感化的设计在设计领域也占据了很大一部分的位置
作为增城市三大支柱产业之一，汽车零配件是今年增城质监局开展“质量兴业”的主要产业，该局采取“标准引领提供先进技术保障、主动帮扶提供优质服务保障、打造平台提供资源信息
目的：本文旨在了解在超声介导下载药微泡对肝癌的治疗作用.方法：我们的研究中以聚乳酸（poly lactic acid,PLA）和卵磷脂为药物载体,以紫杉醇为模型药物,通过冷冻干燥技术以及改良
离散车间制造过程知识自动获取是基于制造知识实现车间智能运作维护的基础。从某企业数控车间运作维护需求出发,对车间制造业务流程进行重组优化;搭建基于车间智能终端的工序
目的：探讨雷帕霉素对人淋巴瘤细胞株Raji细胞体外增殖、VEGF-A及HIF-1α表达的影响及其临床意义。方法：不同浓度（0、10、50、100、250、500nmol/L）雷帕霉素对Raji细胞作用不同时
去年12月1日，广州市首个珠宝首饰加工企业联盟标准《首饰生产贵金属固体废料回收技术规范》正式实施，该联盟标准规定了在首饰生产过程中产生的四种主要固体废料（含金、含银、含
大力发展基础教育，必须扩大优质教育资源，促进教育适度均衡发展。我区有国家级贫困旗县31个，自治区级贫困旗县19个。2001年教育经费占财政支出的11．8％。低于国家规定的预算内教育
微波热致声波成像(TAI),包含了微波成像高对比度和超声波成像高分辨率的优势,是一种非电离和非侵入技术,在乳腺癌检测及其它生物医学领域中有潜在应用。传统成像算法重构的图
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield