visualSTATE 5.4 part 7 (7-11)

时间:2012-03-27 02:27:50
【文件属性】:
文件名称: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状态机标准

网友评论

  • 对形式化开发很有帮助