stepwise 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.
通過逐步的細(xì)化，我可以從模型派生出更為詳細(xì)的細(xì)節(jié)，然后可以從其中生成具體的實現(xiàn)。
Fairley's chapter on design concentrates on modules and structure, stepwise refinement, and abstraction -- methods that have been either superseded or greatly improved upon since then.
Fairley在設(shè)計一節(jié)中，專注模塊化和結(jié)構(gòu)化，階梯式改進，和從此以后就被取代或極大提高的抽象方法。

逐步求精
A definition of substitution operation for Petri nets is given in this paper. It is a formal description of the stepwise refinement method for the modeling of systems using Petri nets.
文中給出了Petri的替換運算定義,它是對分層模擬與逐步求精的Petri網(wǎng)建模思想方法的一個形式化描述。
逐步優(yōu)化
逐步求精法
逐步精確定位
步進式精化法