您的位置： 专家智库 > >

郑延平

作品数：1 被引量：19H指数：1
供职机构：国防科学技术大学计算机学院更多>>
发文基金：霍英东青年教师基金国家自然科学基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇软件工程
  • 1篇软件质量
  • 1篇状态机
  • 1篇计算树逻辑
  • 1篇UML
  • 1篇UML状态机

机构

  • 1篇国防科学技术...

作者

  • 1篇齐治昌
  • 1篇董威
  • 1篇郑延平
  • 1篇王戟

传媒

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

年份

  • 1篇2001
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
UML状态机的模型检验方法被引量：19
2001年
模型检验是一种确保设计规范正确性的形式化自动验证技术 ,本文提出了对 UML状态机进行模型检验的方法。文中首先对 UML状态机的语法和语义进行描述 ,然后基于语义中的 RTC步给出生成状态机全局可达状态迁移图的方法 ,方法的核心是在当前格局下根据使能条件确定所有的最大无冲突迁移集。文章最后给出算法以验证 UML状态机是否满足用计算树逻辑 ( CTL)
董威王戟郑延平齐治昌
关键词：UML状态机计算树逻辑软件质量软件工程
全选 清除 导出
共1页<1>
聚类工具0