×
验证码:
换一张
忘记密码？
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
北京大学 [20]
内容类型
期刊论文 [15]
其他 [5]
发表日期
2011 [2]
2010 [1]
2009 [1]
2008 [2]
2007 [2]
2005 [1]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共20条，第1-10条
帮助
限定条件
专题：北京大学
第一署名单位
第一作者单位
通讯作者单位
已选(
0
)
清除
条数/页：
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式：
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
时序π演算及其对MARTE顺序图的建模
期刊论文
武汉大学学报理学版, 2011
金暐
;
王捍贫
;
曹永知
;
朱梅霞
收藏
|
浏览/下载：2/0
|
提交时间：2015/10/23
时序π演算
顺序图
MARTE
timing π-calculus
MARTE（modeling and analysis of real-time and embedded systems）
sequence diagram
时序π演算及其对MARTE顺序图的建模
其他
2011-01-01
金暐
;
王捍贫
;
曹永知
收藏
|
浏览/下载：3/0
|
提交时间：2015/10/23
元模型可度量性及度量方法研究
其他
2010-01-01
马浩海
;
麻志毅
;
吉哲
;
杨国东
;
张乐
收藏
|
浏览/下载：3/0
|
提交时间：2015/11/12
元模型 可度量性 度量方法 UML
UML类图中面向非功能属性的描述和检验
期刊论文
软件学报, 2009
张岩
;
梅宏
收藏
|
浏览/下载：3/0
|
提交时间：2015/10/23
非功能属性
统一建模语言
类图
模型检验
一种面向图形化建模语言表示法的元模型
期刊论文
软件学报, 2008
何啸
;
邵维忠
;
MA Zhi-Yi
收藏
|
浏览/下载：3/0
|
提交时间：2015/11/12
元模型 元建模 表示法 图形建模语言 MDA(model driven architecture)
元建模技术研究进展
期刊论文
软件学报, 2008
刘辉
;
麻志毅
;
邵维忠
收藏
|
浏览/下载：2/0
|
提交时间：2015/11/12
元建模 元模型 UML(unified modeling language) MDA(model driven architecture)
广义地名及其本体研究
期刊论文
地理与地理信息科学, 2007
刘瑜
;
张毅
;
田原
;
薛露露
收藏
|
浏览/下载：1/0
|
提交时间：2015/10/23
广义地名
本体
地理信息科学
PKUMoDEL:模型驱动的开发和语言家族支持环境
期刊论文
计算机研究与发展, 2007
马浩海
;
谢冰
;
麻志毅
;
张能斌
;
邵维忠
收藏
|
浏览/下载：1/0
|
提交时间：2015/11/11
模型驱动 元模型 CASE UML
UML状态机视图的RSL形式描述
其他
2005-01-01
孙猛
;
张乃孝
;
Bernhard K Aichernig
收藏
|
浏览/下载：5/0
|
提交时间：2015/10/23
UML
RAISE
UML
statechart
RAISE
formalization
状态机
形式化
元模型可度量性及度量方法研究
期刊论文
电子学报, 2004
马浩海
;
麻志毅
;
吉哲
;
杨国东
;
张乐
收藏
|
浏览/下载：2/0
|
提交时间：2015/11/12
元模型 可度量性 度量方法 UML
©版权所有 ©2017 CSpace - Powered by
CSpace
