CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
The Observer pattern Research Based on rCOS 会议论文
Xian, PEOPLES R CHINA, JAN 11-12, 2014
作者:  Yan, Xiang;  Jing, Yang;  Hao, Zhu;  Dong, Dingxiang
收藏  |  浏览/下载：3/0  |  提交时间：2020/01/05
Application research of rCOS-based trusted requirement engineering 会议论文
Hong kong, December 19, 2012 - December 20, 2012
作者:  Duan, Guoyong;  Yang, Jing
收藏  |  浏览/下载：2/0  |  提交时间：2020/01/02
rCOS: a formal model-driven engineering method for component-based software 期刊论文
FRONTIERS OF COMPUTER SCIENCE, 2012, 卷号: 6, 页码: 17-39
作者:  Ke, Wei;  Li, Xiaoshan;  Liu, Zhiming;  Stolz, Volker
收藏  |  浏览/下载：1/0  |  提交时间：2020/01/06
a graph-based implementation for mechanized refinement calculus of oo programs 会议论文
13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, 8-Nov
Liu Zhiming; Morisset Charles; Wang Shuling
收藏  |  浏览/下载：11/0  |  提交时间：2011/10/10
A game perspective of refinement of component models 其他
2010-01-01
Wang, Zizhen; Wang, Hanpin; Cao, Yongzhi; Qu, Wanling; Jin, Wei; Zhu, Meixia
收藏  |  浏览/下载：1/0  |  提交时间：2015/11/13
component publications and compositions 会议论文
2nd International Symposium on Unifying Theories of Programming, Dublin, IRELAND, SEP 08-10,
Zhan Naijun; Kang Eun Young; Liu Zhiming
收藏  |  浏览/下载：13/0  |  提交时间：2011/03/31
基于rCOS的设计模式的形式化研究和应用 学位论文
2010
作者:  任彦芳
收藏  |  浏览/下载：2/0  |  提交时间：2020/01/05
Formal Use of Design Patterns and Refactoring 其他
2009-01-01
Quan, Long; Zongyan, Qiu; Liu, Zhiming
收藏  |  浏览/下载：2/0  |  提交时间：2015/11/16
基于rCOS的UML状态图语义研究 期刊论文
2009, 卷号: 35, 期号: 2, 页码: 21
作者:  张晓蒙[1,2];  戎玫[3];  张广泉[1,2]
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/10
A Framework for Formalizing UML Models with Formal Language Rcos 会议论文
Shanghai, PEOPLES R CHINA, DEC 17-19, 2009
作者:  Yang, Jing
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/31

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