2024年12月24日
星期二
|
欢迎来到佛山市图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
王春梅
作品数:
3
被引量:2
H指数:1
供职机构:
北京航空航天大学软件学院
更多>>
发文基金:
中国航空科学基金
更多>>
相关领域:
自动化与计算机技术
文化科学
更多>>
合作作者
姚淑珍
北京航空航天大学软件学院
谭火彬
北京航空航天大学软件学院
邵兵
北京航空航天大学软件学院
孙伟
北京航空航天大学软件学院
康一梅
北京航空航天大学软件学院
作品列表
供职机构
相关作者
所获基金
研究领域
题名
作者
机构
关键词
文摘
任意字段
作者
题名
机构
关键词
文摘
任意字段
在结果中检索
文献类型
2篇
期刊文章
1篇
会议论文
领域
2篇
自动化与计算...
1篇
文化科学
主题
2篇
分析技术
2篇
PETRI网
1篇
学科
1篇
学科实践
1篇
一致性
1篇
软件工程
1篇
UML
机构
3篇
北京航空航天...
作者
3篇
王春梅
2篇
谭火彬
2篇
姚淑珍
1篇
康一梅
1篇
孙伟
1篇
邵兵
传媒
1篇
系统仿真学报
1篇
计算机教育
1篇
第十二届全国...
年份
1篇
2013
1篇
2009
1篇
2008
共
3
条 记 录,以下是 1-3
全选
清除
导出
排序方式:
相关度排序
被引量排序
时效排序
基于Petri网等价理论的模型一致性分析技术
2008年
针对MDA开发模式所面临的模型一致性问题,引入Petri网及其等价理论,提出UML动态模型的行为一致性和结构一致性分析技术。这样当UML视图被形式化地描述为Petri网模型,就可以通过分析Petri网模型的语言等价性、分支等价性来判断出UML视图的一致性,进而检验在UML模型的正确性。研究思路对进一步分析其他类型的模型一致性具有借鉴作用。
姚淑珍
谭火彬
王春梅
关键词:
PETRI网
一致性
UML
基于Petri网等价理论的模型一致性分析技术
针对MDA开发模式所面临的模型一致性问题,引入Petri网及其等价理论,提出UML动态模型的行为一致性和结构一致性分析技术。这样当UML视图被形式化地描述为Petri网模型,就可以通过分析Petri网模型的语言等价性、分...
姚淑珍
谭火彬
王春梅
关键词:
PETRI网
文献传递
软件工程交叉学科实践机制探索
被引量:2
2013年
交叉学科实践机制对于交叉学科建设起着很重要的作用。文章提出通过采取推进交叉学科实践内容的融合、建设高水平的综合实验平台、组建交叉学科实践人才队伍、加强交叉学科工程实践、建立国内外实习基地、设立交叉学科实践模式等措施,推动交叉学科的健康发展。
康一梅
王春梅
孙伟
邵兵
关键词:
软件工程
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张