您的位置： 专家智库 > >

王春梅

作品数：3 被引量：1H指数：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网
文献传递
软件工程交叉学科实践机制探索被引量：1
2013年
交叉学科实践机制对于交叉学科建设起着很重要的作用。文章提出通过采取推进交叉学科实践内容的融合、建设高水平的综合实验平台、组建交叉学科实践人才队伍、加强交叉学科工程实践、建立国内外实习基地、设立交叉学科实践模式等措施,推动交叉学科的健康发展。
康一梅王春梅孙伟邵兵
关键词：软件工程
全选 清除 导出
共1页<1>
聚类工具0