UML模型

作品数：162被引量：365H指数：9
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：李宣东曾一郑国梁段富余双双更多>>
相关机构：重庆大学电子科技大学北京航空航天大学南京大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划国防科技技术预先研究基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 基金=国家重点基础研究发展计划x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种从UML模型到可靠性分析模型的转换方法被引量：21
《软件学报》2010年第2期287-304,共18页柳毅 麻志毅 何啸 邵维忠 
国家自然科学基金No.60773152;国家重点基础研究发展计划(973)No.2005CB321805;国家高技术研究发展计划(863)Nos.2007AA01Z127;2007AA010301;国家创新研究群体科学基金No.60821003~~
以构件化的软件开发方法为背景,提出了一种将UML模型自动地转换为可靠性分析模型Markov链的方法.该方法基于构件化的软件体系结构,从UML的用况图、顺序图、活动图和构件图出发,对其进行扩展,在模型中标注了可靠性分析所需的信息.在此基...
关键词：基于构件的软件开发 软件可靠性 UML 模型转换 MARKOV链 
UML模型到FSM模型的转换被引量：5
《计算机科学》2009年第7期113-116,149,共5页郭亮 缪淮扣 王皙 陈圣波 
国家自然科学基金项目(60673115);国家863计划项目(2007AA01Z144);国家973项目(2007CB310800);上海市教委科研项目(07ZZ06);上海市重点学科建设项目(J50103)资助
通常可采用UML的各种图从Web应用不同方面对其进行建模。当对Web应用模型进行测试和验证时,需要分别考虑这些采用了不同图形描述的模型,这就带来了测试和验证的繁琐。如果将UML各种图转换到有限状态机(FSM)模型,则可以统一用FSM模型来...
关键词：状态图 模型转换规则 有限状态机 UML 
从Executable UML模型到J2ME程序被引量：1
《计算机科学》2005年第12期112-115,127,共5页袁梁 李宣东 赵建华 郑国梁 
国家自然科学基金(批准号 60203009;60233020);江苏省自然科学基金(批准号 BK2003408);国家973项目(批准号 2002CB312001)的资助
嵌入式系统由于功能的特定性和底层硬件的多样性,使得其代码的重用和易移植性一直是困扰开发者的一大难题。模型驱动体系结构(MDA)是OMG组织提出的一种新的软件开发方法。MDA将关注点集中于业务模型,把平台相关内容和不同的实现技术从...
关键词：模型驱动的软件体系结构 J2ME 嵌入式系统 可执行UML 转换规则 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部