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.
通過逐步的細化，我可以從模型派生出更爲詳細的細節(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在設計一節(jié)中，專注模塊化和結搆化，堦梯式改進，和從此以後就被取代或極大提高的抽象方法。

逐步求精
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)化
逐步求精法
逐步精確定位
步進式精化法