visualSTATE 5.4 part 5 (5-11)

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

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

文件大小:4.77MB

文件格式:R04

更新时间:2012-03-27 02:22:50

visualSTATE UML

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


网友评论

  • 在形式化开发过程中,本书很有帮助