【文件属性】:
文件名称:visualSTATE 5.4 part 7 (7-11)
文件大小:4.77MB
文件格式:R06
更新时间:2012-03-27 02:27:50
visualSTATE UML
visualSTATE 提供先进的验证和测试工具,能够生成非常紧凑的C/C++ 代码,并与您的系统设计保持100% 一致。
自动从状态机模型生成C/C++ 代码
自动产生全部文档
直观的, 容易的使用图形化编辑器
丰富的验证和模拟工具, 包括使用RealLink进行器件上调试能力
满足UML状态机标准
网友评论
- 对形式化开发很有帮助