搜索结果: 1-3 共查到“计算机科学技术 UML类图”相关记录3条 . 查询时间(0.128 秒)
基于UML类图的软件预测模型
统一建模语言 度量 可理解性
2009/11/30
针对面向对象软件开发过程中对软件进行复杂性预测的问题,提出一种在面向对象软件开发的初期阶段通过统一建模语言(UML)类图对软件的复杂性进行度量的模型,该模型运用多元线性方程和统计学原理。对比实验结果表明,为UML类图的可理解性和可修改性所生成的预测模型能建立在由关联和泛化所组成的早期度量标准上。
基于SHOIN(D)的UML类图形式化方法
UML类图 描述逻辑 描述逻辑SHOIN(D)
2009/9/27
UML模型一致性自动检测的主要任务是解决形式化问题。描述逻辑是一阶谓词逻辑的可判定子集,具备强大的知识表示和推理功能。针对UML模型形式化问题,提出基于描述逻辑的形式化方法,分析UML类图各模型元素与描述逻辑SHOIN(D)的对应关系,提出UML类图的SHOIN(D)形式化方法,给出UML类图转换为SHOIN(D)知识库的正确性证明。