您的位置： 专家智库 > >

缪丽君

作品数：1 被引量：2H指数：1
供职机构：上饶师范学院教育科学系更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇形式化
  • 1篇形式化方法
  • 1篇UML
  • 1篇B方法

机构

  • 1篇上饶师范学院

作者

  • 1篇吴帅
  • 1篇缪丽君

传媒

  • 1篇计算机与现代...

年份

  • 1篇2011
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
形式化方法与可视化模型的结合及其应用被引量：2
2011年
阐述形式化方法的特点及存在的问题,分析在形式化开发过程中引入可视化模型的必要性。为降低直接使用形式化方法的难度,提出B方法与UML的结合过程,并通过一个自动取款机系统说明其应用过程。
吴帅缪丽君
关键词：形式化方法B方法UML
全选 清除 导出
共1页<1>
聚类工具0