简述Statecharts的CASE工具SuperState

• 作者: 钱俊彦
• 来源期刊: 广西科学院学报
• 学科: 工学
• 关键词: Statecharts 形式化技术 CASE工具
• 年，卷（期）: 2006,（4）
• 页码范围: 382-384
• 页数: 3页
• 分类号: TP301.1
• 字数: 2311字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-7378.2006.04.047

摘要

在介绍基于Statecharts语言的验证工具SuperState的编辑环境的基础上,简述SuperState工具中主要部分的实现思想,即采用静态分析和动态仿真保证设计模型的正确性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	钱俊彦	桂林电子科技大学计算机系	86	238	9.0	10.0