举例来说，一些使用全面的MDD，以及完全的代码生成的组织已经成功地开发了具有非常严格的实时需求的导弹控制系统。
For example, some organizations using full-scale MDD with complete code generation have successfully developed missile control systems with very strict real-time requirements.
没有任何疑问，用户实时监控帐户，为严格控制的IT流程和系统的需要，但要维持经纪公司的执行。
That there is no doubt that the accounts of customers real-time monitoring, the need for strict control of it processes and systems, but the need to maintain a brokerage firm's execution.
严格建模是嵌入式实时系统设计的核心技术，通过UML方法与形式化方法结合可以给严格建模提供很好的工具支持。
Rigorous Modeling is a core technology in embedded realtime system design and the combination of UML and formal methods would provide a better tool support to it.
应用推荐