简述Statecharts的CASE工具SuperState

摘要：

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

关键词： CASE工具 Statecharts语言 形式化技术

作者: 钱俊彦

作者单位: 桂林电子科技大学计算机系,广西桂林,541004

会议类型: 国内会议

会议名称: 广西计算机学会2006年年会

会议地点: 南宁

会议语种:中文

页码: 382-384

在线出版日期: 2006-10-01（万方平台首次上网日期，不代表论文的发表时间）