×
验证码:
换一张
忘记密码？
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
北京大学 [29]
内容类型
期刊论文 [19]
其他 [10]
发表日期
2011 [2]
2010 [1]
2009 [2]
2008 [3]
2007 [5]
2006 [1]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共29条，第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
非功能属性
统一建模语言
类图
模型检验
JBOO5.0--支持UML2.1的建模工具
其他
2009-01-01
YAN Yan
;
MA Zhiyi
;
SHAO Weizhong
;
闫研
;
麻志毅
;
邵维忠
收藏
|
浏览/下载：1/0
|
提交时间：2015/11/13
UML建模工具 软件开发 系统设计 可复用构件
支持协商的网构软件体系结构行为建模与验证
期刊论文
软件学报, 2008
周立
;
陈湘萍
;
黄罡
;
孙艳春
;
梅宏
收藏
|
浏览/下载：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)
基于UML的软件结构规范与精化
其他
2007-01-01
孙猛
;
杨红丽
;
张乃孝
;
裘宗燕
收藏
|
浏览/下载：1/0
|
提交时间：2015/10/23
软件结构
规范
精化
CSP
UML
software architecture
specification
refinement
CSP
UML
基于UML的分布式服务合约库系统建模
期刊论文
电子学报, 2007
麻志毅
;
邹艳珍
收藏
|
浏览/下载：2/0
|
提交时间：2015/11/11
分布式服务合约库系统 元模型 UML建模
©版权所有 ©2017 CSpace - Powered by
CSpace
