首页> 外文会议>International Conference on Computational Intelligence and Software Engineering;CiSE 2009 >Transform Mechanisms of Object-Z Based Formal Specification to JAVA

【24h】

Transform Mechanisms of Object-Z Based Formal Specification to JAVA

机译：基于对象Z的形式规范向JAVA的转换机制

获取原文

页面导航

著录项
相似文献
相关主题

著录项

来源
《International Conference on Computational Intelligence and Software Engineering;CiSE 2009》|2009年|1-4|共4页
会议地点 Wuhan(CN);Wuhan(CN)
作者
Wang, Zhigang; Xie, Maofang; Zhao, Yuelong;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. Checking the consistency of Object-Z formal specification based on theorem proof [J] . Wan Weiqing, Yu Yongqing, Zeng Qingyan, Journal of Computational Methods in Sciences and Engineering . 2020,第1期

机译：基于定理证明检查对象-Z正式规范的一致性
2. Heterogeneous formal specification based on Object-Z and statecharts: semantics and verification [J] . Juan Pablo Gruer, V. Hilaire, A. Koukam, The Journal of Systems and Software . 2004,第1a2期

机译：基于Object-Z和状态图的异构形式规范：语义和验证
3. Formal Model of Conformity Analysis Method of Java Bytecode Programs annotated with BML Specifications [J] . Safaa Achour, Mohammed Benattou, Jean-Louis Lanet IAENG Internaitonal journal of computer science . 2021,第2Pta2期

机译：使用BML规范注释的Java Bytecode程序的正式模型。
4. Transform Mechanisms of Object-Z Based Formal Specification to JAVA [C] . Zhigang Wang, Maofang Xie, Zhigang Wang, International Conference on Computational Intelligence and Software Engineering . 2009

机译：基于对象 - Z的正式规范对Java的转换机制
5. Structuring formal state-based specifications for reuse and the development of product families. [D] . Thompson, Jeffrey Michael. 2002

机译：构建基于状态的正式规范，以进行复用和产品系列的开发。
6. A formal MIM specification and tools for the common exchange of MIM diagrams: an XML-Based format an API and a validation method [O] . Augustin Luna, Evrim I Karac, Margot Sunshine, 2011

机译：正式交换MIM图的正式MIM规范和工具：基于XML的格式API和验证方法
7. Stepwise refinement of formal specifications based on logical formulae: from CO-OPN/2 specifications to Java programs [O] . Di Marzo Serugendo Giovanna 1999

机译：基于逻辑公式逐步完善形式规范：从CO-OPN / 2规范到Java程序
8. Transforming Aggregate Object-Oriented Formal Specifications to Code [R] . Kissack, J. A. 1999

机译：将聚合的面向对象的形式规范转换为代码

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号