云南高校图书馆联盟文献共享服务平台- 检索结果

检索结果分析

检索条件："关键词=MARTE(modeling "

共条记录，以下是1-2

全选清除导出

视图：

排序：

显示条数：

基于元建模的实时系统模型转换方法研究被引量：8: 《小型微型计算机系统》2010年第11期2145-2153,共9页刘亚萍黄志球祝义; 国家"八六三"高技术研究发展计划项目(2009AA010307)资助; 通过模型转换将UML模型转换为形式化模型并进行模型检验是软件工程研究领域的热点,然而传统的模型转换多是ad-hoc式的,转换规则复杂且难以重用.本文针对这一研究现状,通过元建模实现MARTE到时间自动机模型的转换,从而提出一种基于元建...; 关键词：模型转换 MARTE(modeling and analysis of REAL TIME and embeded systems) 模型验证时间自动机

基于MDE的异构模型转换：从MARTE模型到FIACRE模型被引量：9: 《软件学报》2009年第2期214-233,共20页张天 Frédéric JOUAULT Christian ATTIOGBE Jean BEZIVIN 李宣东; 国家自然科学基金;国家重点基础研究发展计划(973);国家高技术研究发展计划(863);江苏省自然科学基金~~; 通过研究一个具有代表性的UML/MARTE(unified modeling language/modeling and analysis of real time and embedded systems)模型向FIACRE(intermediate format for the architectures of embedded distributed components)形式模型的...; 关键词：模型驱动工程形式化方法 MARTE(modeling and analysis of real time and embedded systems) FIACRE (intermediate format for the architectures ofembedded distributed components) 异构性

全选清除导出

共1页<1>