您的位置： 专家智库 > >

侯敏

作品数：1 被引量：3H指数：1
供职机构：中国航天科工集团公司更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇形式化
  • 1篇形式化验证
  • 1篇状态机
  • 1篇检查器
  • 1篇UML状态机

机构

  • 1篇中国航天科工...

作者

  • 1篇宋文鹏
  • 1篇王新冶
  • 1篇侯敏
  • 1篇王泊涵

传媒

  • 1篇计算机工程与...

年份

  • 1篇2012
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
UML状态机模型形式化验证技术研究被引量：3
2012年
系统建模是系统开发经常用到的分析设计方法,如何保证模型的正确性一直是人们关注的话题。为了验证系统设计的模型正确性,进而提高整个系统的质量,提出了一种通过模型检查技术对UML状态机模型进行动态语义验证的方法。对状态机模型进行形式化描述,根据定义的映射规则将图形信息映射成模型检查器可以读取的语言,分析待验证的性质内容,通过使用模型检查器得到验证结果。
侯敏宋文鹏王泊涵王新冶
关键词：UML状态机形式化验证
全选 清除 导出
共1页<1>
聚类工具0