CORC

在结果中检索

CORC

浏览/检索结果: 共64条，第1-10条 帮助

已选(0)清除 条数/页：   排序方式：
The Extension of Semantic Formalization of Service Workflow Specification Language 期刊论文
IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2019, 卷号: 15, 期号: 2, 页码: 741-754
作者:  Xu, Li Da;  Bi, Zhuming;  Viriyasitavat, Wattana
收藏  |  浏览/下载：31/0  |  提交时间：2019/04/03
A Temporal Graph Grammar Formalism 期刊论文
JOURNAL OF VISUAL LANGUAGES AND COMPUTING, 2018, 卷号: Vol.47, 页码: 62-76
作者:  Zhan Shi;  Xiaoqin Zeng;  Yang Zou;  Song Huang;  Hui Li
收藏  |  浏览/下载：9/0  |  提交时间：2019/12/26
A case study: SOFL + Model checking for OSEK/VDX application 会议论文
5th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2015, Paris, France, November 6, 2015 - November 6, 2015
作者:  Cheng, Zhuo;  Zhang, Haitao;  Tan, Yasuo;  Lim, Yuto
收藏  |  浏览/下载：6/0  |  提交时间：2017/01/18
A Framework for Off-Line Conformance Testing of Timed Connectors 其他
2015-01-01
Li, Shaodong; Chen, Xiaohong; Wang, Yiwu; Sun, Meng
收藏  |  浏览/下载：6/0  |  提交时间：2017/12/03
ASCOM based research on the universal control protocol of telescope 会议论文
Proceedings of SPIE: 7th International Symposium on Advanced Optical Manufacturing and Testing Technologies: Design Manufacturing, and Testing of Micro- and Nano-Optical Devices, and Systems, 2014
作者:  Wu, Peng;  Luo, Chuanxin
收藏  |  浏览/下载：20/0  |  提交时间：2016/11/23
A Systematic Approach to Automatically Derive Test Cases from Use Cases Specified in Restricted Natural Languages 会议论文
SYSTEM ANALYSIS AND MODELING: MODELS AND REUSABILITY, 2014-01-01
作者:  Zhang, Man;  Yue, Tao;  Ali, Shaukat;  Zhang, Huihui;  Wu, Ji
收藏  |  浏览/下载：9/0  |  提交时间：2020/01/06
基于多尺度描述方法的移动用户界面生成框架 期刊论文
计算机学报, 2013, 卷号: 36, 期号: 11, 页码: 2179-2190
杜一; 田丰; 马翠霞; 戴国忠; 王宏安
收藏  |  浏览/下载：27/0  |  提交时间：2014/12/16
汉语的“随着”及与其相对应的日语表达方式 期刊论文
http://epub.edu.cnki.net/grid2008/brief/detailj.aspx?filename=jmdz201001020&dbcode=CJFQ&dbname=CJFQ2010, 2012, 2012
黄燕青
收藏  |  浏览/下载：5/0  |  提交时间：2017/06/19
Modular verification of OO programs with interfaces 其他
2012-01-01
Qiu, Zongyan; Hong, Ali; Liu, Yijing
收藏  |  浏览/下载：5/0  |  提交时间：2015/11/17
Connectors as designs: Modeling, refinement and test case generation 其他
2012-01-01
Meng, Sun; Arbab, Farhad; Aichernig, Bernhard K.; Astefanoaei, Lacramioara; de Boer, Frank S.; Rutten, Jan
收藏  |  浏览/下载：2/0  |  提交时间：2015/11/10

©版权所有 ©2017 CSpace - Powered by CSpace