visualSTATE 5.4 part 10 (10-11)

时间:2012-03-27 03:07:22
【文件属性】:

文件名称:visualSTATE 5.4 part 10 (10-11)

文件大小:479KB

文件格式:R09

更新时间:2012-03-27 03:07:22

visualSTATE UML

visualSTATE 提供先进的验证和测试工具,能够生成非常紧凑的C/C++ 代码,并与您的系统设计保持100% 一致。 自动从状态机模型生成C/C++ 代码 自动产生全部文档 直观的, 容易的使用图形化编辑器 丰富的验证和模拟工具, 包括使用RealLink进行器件上调试能力 满足UML状态机标准


网友评论

  • 非常有助于形式化开发