您的位置： 专家智库 > >

李聪莹

作品数：1 被引量：1H指数：1
供职机构：中国石油大学（北京）地球物理与信息工程学院更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇形式化
  • 1篇形式化描述
  • 1篇矩阵
  • 1篇矩阵理论
  • 1篇类图
  • 1篇UML类图

机构

  • 1篇中国矿业大学...
  • 1篇中国石油大学...

作者

  • 1篇王智广
  • 1篇李聪莹
  • 1篇王雷

传媒

  • 1篇中南民族大学...

年份

  • 1篇2017
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于矩阵理论的UML类图形式化描述与检测被引量：1
2017年
针对UML缺少形式化语义,使得开发UML自动检测工具变得困难的问题,提出了一种基于矩阵理论的UML类图形式化描述和自动检测方法.首先,分别给出了基于二元关系和基于矩阵的类图形式化描述规则;然后,讨论了UML类图的自动检测;最后,用一个实例说明了该方法的有效性.实验结果表明:该方法可以对UML类图进行形式化描述,且可以通过数学方法找出模型中存在的错误.
王智广王雷李聪莹
关键词：矩阵UML类图形式化描述
全选 清除 导出
共1页<1>
聚类工具0