inductive stepwise refinement的意思|示意
美 / inˈdʌktiv ˈstepˌwaɪz rɪˈfaɪnmənt /
英 / ɪnˈdʌktɪv ˈstɛpˌwaɪz rɪˈfaɪnmənt /
[计] 归纳逐步求精