您的位置： 专家智库 > >

李华中

作品数：1 被引量：0H指数：0
供职机构：华豫学院更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇形式化
  • 1篇货单
  • 1篇UML
  • 1篇B方法
  • 1篇抽象机

机构

  • 1篇华豫学院

作者

  • 1篇杨景花
  • 1篇李华中

传媒

  • 1篇电脑编程技巧...

年份

  • 1篇2010
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于B方法抽象机和UML的货单系统
2010年
在分析货单系统的基础上,比较了B方法和UML的优缺点,从形式化B方法的抽象机和半形式化方法UML两方面描述了一个货单系统,且给出形式化B方法在软件、硬件、安全领域、计算机规约各方面的应用以及在未来发展的重要地位。
杨景花李华中徐阳博
关键词：形式化B方法抽象机UML
全选 清除 导出
共1页<1>
聚类工具0