| 简述Statecharts的CASE工具SuperState |
| |
| 引用本文： | 钱俊彦.简述Statecharts的CASE工具SuperState[J].广西科学院学报,2006,22(4):382-384. |
| |
| 作者姓名： | 钱俊彦 |
| |
| 作者单位： | 桂林电子科技大学计算机系,广西桂林,541004 |
| |
| 摘 要： | 在介绍基于Statecharts语言的验证工具SuperState的编辑环境的基础上,简述SuperState工具中主要部分的实现思想,即采用静态分析和动态仿真保证设计模型的正确性.
|
| 关 键 词： | Statecharts 形式化技术 CASE工具 |
| 文章编号： | 1002-7378（2006）04-0382-03 |
| 收稿时间： | 2006-07-07 |
| 修稿时间： | 2006年7月7日 |
CASE Tool SuperState for Verifying Statecharts |
| |
| QIAN Jun-yan.CASE Tool SuperState for Verifying Statecharts[J].Journal of Guangxi Academy of Sciences,2006,22(4):382-384. |
| |
| Authors: | QIAN Jun-yan |
| |
| Institution: | Department of Computer, Guilin University of Electronic Technology, Guilin, Guangxi, 541004, China |
| |
| Abstract: | A modeling and verifying tool SuperState in which Statecharts is integrated into CASE tool is introduced. The idea of keeping a design model to be correct using static and dynamic analysis in the tool is discussed. |
| |
| Keywords: | Statecharts Formal techniques CASE tool |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《广西科学院学报》浏览原始摘要信息 |
| 点击此处可从《广西科学院学报》下载免费的PDF全文 |
