云南高校图书馆联盟文献共享服务平台- 郑延平

郑延平: 作品数：1被引量：7H指数：1; 导出分析报告; 供职机构：国防科学技术大学计算机学院更多>>; 发文主题：UML状态机UML计算树逻辑状态机软件质量更多>>; 发文领域：自动化与计算机技术更多>>; 发文期刊：《计算机工程与科学》更多>>; 所获基金：霍英东青年教师基金国家自然科学基金国家高技术研究发展计划更多>>

检索结果分析

共条记录，以下是1-1

全选清除导出

视图：

排序：

UML状态机的模型检验方法被引量：7: 《计算机工程与科学》2001年第6期7-11,共5页董威王戟郑延平齐治昌; 国家自然科学基金项目 (69973 0 5 1);国家863计划资助项目 (863 -3 0 6-ZT0 6-0 4-1);武汉大学软件工程国家重点实验室访问学者基金;霍英东青年教师基金资助项目(710 64 ); 模型检验是一种确保设计规范正确性的形式化自动验证技术 ,本文提出了对 UML状态机进行模型检验的方法。文中首先对 UML状态机的语法和语义进行描述 ,然后基于语义中的 RTC步给出生成状态机全局可达状态迁移图的方法 ,方法的核心是在当...; 关键词：UML 状态机模型检验计算树逻辑软件质量软件工程