UML模型

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=信息技术与信息化x
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种UML模型跨图一致性检查系统设计与实现
《信息技术与信息化》2024年第10期35-39,共5页袁薇 孙康健 张雪 吕韬 
统一建模语言是获取系统需求、进行系统设计的重要手段,使用多种UML模型图对同一软件进行描述和表达时,多个模型图中的对象命名、逻辑关系可能出现不一致的情况。现有可视化UML建模工具大多只在某一种模型图内部进行正确性检查,或依赖...
关键词：UML 可视化建模 模型解析 一致性检查 对象约束语言 
基于Markov链使用模型的软件可靠性测试方法
《信息技术与信息化》2022年第6期123-126,共4页孙德刚 
山东华宇工学院模式识别应用工程技术研发中心研究基金(No.201905)。
针对基于UML模型的软件可靠性测试方法的应用,软件可靠性模型在软件可靠性测试中的算法优化,从应用工具、数据存储方法等多个方面展开详细探讨,对软件可靠性测试中模型的选择问题进行了分析,并提出了一种将UML形态图行通过扩展算法转化...
关键词：UML模型 软件测试 可靠性 MARKOV链使用模型 
UML模型的B形式化描述方法研究
《信息技术与信息化》2018年第12期151-153,共3页沈利 
UML被广泛地应到到软件设计建模中,由于其半形式化的语言表达方式,无法对软件的需求分析进行一致性的分析,需要使用形式化的方法对UML模型进行描述。文章研究了UML时序图到形式化B方法的转换规则,并以汽车租系统为例,给出了UML时序图的...
关键词：状态图 B 方法 UML 
基于B方法的UML模型形式化转换的应用研究被引量：2
《信息技术与信息化》2017年第10期90-92,共3页沈利 
统一建模语言(UML)具有一整套完善的建模工具和技术,在很多领域软件设计建模中得到广泛应用。但是用UML建立的模型缺少精确的形式化的语义,可能出现表达含糊不清、分析与设计不够严格、二义性等,需要借助具有严格形式化语义定义的B方法...
关键词：B方法 UML 用例图 顺序图 
UML一致性管理框架的研究
《信息技术与信息化》2005年第5期34-36,共3页李明宇 赵合计 
UML模型的不一致性很难人工跟踪。采用计算机辅助检测和解决不一致问题可以提高复杂软件设计的质量。本文首先对软件设计中发生的不一致性问题进行了分类,然后给出了一个一致性管理框架(CMF)来处理上述问题。
关键词：UML 一致性 XML DTD 一致性问题 UML模型 管理框架 计算机辅助检测 软件设计 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部