As shown in figure 1 , the rup product development cycle includes four phases called inception , elaboration , construction , and transition 正如图1中所示， rup产品开发周期包含了4个阶段，分别是先启，精化，建构和产品化。
In the third article on uml modeling and xml , benot further refines the conversion stylesheet with the introduction of stereotypes and tags 在关于uml建模和xml的第三篇文章中， benoit引入了构造型和标记来进一步精化转换样式表。
Figure 4 : the inception and elaboration phases of the next major release , version 3 . 0 , also occur prior to the general distribution of version 2 . 0 图4 :下一个重要版本3 . 0版本的先启和精化阶段依然在2 . 0版本的整体分配之前开始开展，
Sui yunkang and pan tianqun ， " fuzzy " precision processing for structural model of nodes in finite element method , international conference modelling & simulation , shekou shenzhen , 1988 隋允康、潘天群，结构节点模型的"弗晰"精化处理，计算结构力学及其应用， 6卷3期( 1989 )
Because of state explosion and the complexity of semantics , model checking uml statecharts is restricted by the software scale and the refinement degree of design specification 由于空间爆炸和语义的复杂性，对statecharts进行模型检验受到软件规模和设计精化程度的制约。
Remember that by definition a model is a simplification , so it makes sense that a model , even a refined one , should not include all of the nitty - gritty implementation details 要记住，按照定义模型是一种简化，因此模型（即使是精化的模型）不包括所有的实现细节是完全合理的。
The linear time - branching time spectrum ii : the semantics of sequential processes with silent moves . in concurrency theory , best e ed . , lncs 715 , 1993 , pp . 66 - 81 本文的主要贡献是研究了这种更一般的并发系统的动作精化理论，证明了我们的动作精化具有通常期望的以下一些性质： 1正确性。
Based on object - oriented technology and database technology , a faul t diagnosis system for rotary machines was designed , among which cbr is utilized for a main r easoning method 分析了案例推理的几个重要问题，包括案例的多级索引、用模糊聚类法精化案例库和模糊模式识别的案例相似性匹配。
Testing in the elaboration phase , for instance , can focus on validating the architecture , whereas in the construction phase it can focus on finding the most important software defects 例如，测试在精化阶段，可以集中在确认构架上，而在构建阶段中，测试可以集中在查找最重要的软件缺陷上。
