An approach to animate Object-Z specifications using C++

机译：使用C ++为Object-Z规格设置动画的方法

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Najafi M.; Haghighi H.;
展开▼
作者单位

展开▼
年度 2012
总页数
原文格式 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. Generating Python Code from Object-Z Specifications [J] . A.F. Al Azzawi, M. Bettaz, H. M. Al-Refai International Journal of Software Engineering & Applications (IJSEA) . 2017,第4期

机译：从Object-Z规范生成Python代码
3. Towards an institution for Object-Z specifications [J] . Mohamed Bettaz, Mourad Maouche, Mhamed Mosteghanemi International Journal of Computer Applications in Technology . 2013,第2a3期

机译：建立面向Object-Z规范的机构
4. An animation approach to develop C++ code from Object-Z specifications [C] . Najafi Mehrnaz, Haghighi Hassan 2011 CSI International Symposium on Computer Science and Software Engineering . 2011

机译：一种从Object-Z规范开发C ++代码的动画方法
5. Creating for Creatives: A Humanistic Approach to Designing AI Tools Targeted at Professional Animators [D] . Bateman, Cole. 2021

机译：为广大创建创建：设计专业动画师的AI工具的人文方法
6. The role of health animators in malaria control: a qualitative study of the health animator (HA) approach within the Majete malaria project (MMP) in Chikwawa District Malawi [O] . Blessings N. Kaunda-Khangamwa, Henk van den Berg, Robert S. McCann, 2019

机译：健康动画师在疟疾控制中的作用：对马拉维奇瓦瓦区Majete疟疾项目（MMP）中健康动画师（HA）方法的定性研究
7. An Approach to Animating Z Specifications [O] . Xiaoping Jia 1995

机译：Z规格动画的一种方法

An approach to animate Object-Z specifications using C++

著录项

引文网络

相似文献

相关主题

期刊订阅