Telelogic Tau3.0是Telelogic的支持uml2.0的建模工具，同时提供了模型验证（Model Verifier），代码生成（code generator）。这是个欧洲公司，据说已经有14年的业内经验了。
基于12个网页-相关网页
同时提供了模型验证
Meanwhile, model verification is provided
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动