王春梅

作品数:2被引量:2H指数:1
导出分析报告
供职机构:北京航空航天大学软件学院更多>>
发文主题:分析技术PETRI网学科实践软件工程一致性更多>>
发文领域:自动化与计算机技术文化科学更多>>
发文期刊:《计算机教育》《系统仿真学报》更多>>
所获基金:中国航空科学基金更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-2
视图:
排序:
软件工程交叉学科实践机制探索被引量:2
《计算机教育》2013年第17期57-60,共4页康一梅 王春梅 孙伟 邵兵 
北京航空航天大学教改基金
交叉学科实践机制对于交叉学科建设起着很重要的作用。文章提出通过采取推进交叉学科实践内容的融合、建设高水平的综合实验平台、组建交叉学科实践人才队伍、加强交叉学科工程实践、建立国内外实习基地、设立交叉学科实践模式等措施,...
关键词:软件工程 交叉学科 实践机制 
基于Petri网等价理论的模型一致性分析技术
《系统仿真学报》2008年第S2期111-113,126,共4页姚淑珍 谭火彬 王春梅 
"航空电子系统综合技术国防科技重点实验室"和"航空科学基金"联合资助(20085551042)
针对MDA开发模式所面临的模型一致性问题,引入Petri网及其等价理论,提出UML动态模型的行为一致性和结构一致性分析技术。这样当UML视图被形式化地描述为Petri网模型,就可以通过分析Petri网模型的语言等价性、分支等价性来判断出UML视图...
关键词:PETRI网 模型 一致性 UML 
检索报告 对象比较 聚类工具 使用帮助 返回顶部