Figure 6a. Architect activities: use-case model refinement.
图6A.架构师活动：用例模型优化。
This particular model has a further refinement.
这一款式又有了进一步的改进。
Model transformation and refinement.
模型的转换和细化。
Through stepwise refinement, I can drive the model to finer details, to a point where I can start generating concrete implementation artifacts from it.
通过逐步的细化，我可以从模型派生出更为详细的细节，然后可以从其中生成具体的实现。
In this approach, all refinement cycles resulting from new requirements or changes in design are carried out in the model.
在该方法中，源于新需求或设计更改的所有优化循环都在模型中执行。
In this case, the refinement cycles take place in both the model and the implementation at the same time.
在这种情况下，优化循环同时发生在模型和实现中。
Integrated with goal refinement method and entity refinement method, an algorithm of policy refinement is proposed in this paper on the basis of layered-policy model for security policy.
本文基于安全策略的分层管理模型，提出了一个集目标求精和实体求精为一体的安全策略逐级求精算法。
Pursuing quality over quantity, and realizing easy operation. this popular-priced model gave owners a sense of Yamaha refinement and conscientiousness.
追求高质量和易操作性，这种大众的平价机型更能体现雅马哈的细致和责任感。
The experience makes us believe that with some improvement and refinement, the model may be used to implement a more powerful and applicable reporting tool under UNIX.
实践使得我们相信：经过进一步的改进与完善，可以基于该模型开发出更加功能强大和实用的UNIX报表工具。
For example, a model incorporating iterative refinement of an initial prototype may be best suited to small-scale trial applications.
例如，一个初始样机的模型合并迭代的改进可能最适合小规模的试验性应用。
We are pleased to announce that a new tyre physics model is currently in the testing and refinement stage.
我们很高兴地宣布，新的轮胎物理模型目前正在测试和完善阶段。
The pull model client simplifies state management by a natural, top-down procedural refinement.
提取模型客户端通过自然的、由上而下的过程优化简化了状态管理。
Model checking and refinement checking are two approaches to formal verification, whose difficulties are due to the state explosion problem.
组合可达性分析是对并发系统模型分析验证的基础和关键，但是难于解决验证中的所谓的状态爆炸问题。
Model checking and refinement checking are two approaches to formal verification, whose difficulties are due to the state explosion problem.
组合可达性分析是对并发系统模型分析验证的基础和关键，但是难于解决验证中的所谓的状态爆炸问题。
应用推荐