逐步程序求精的英文翻译

英文翻译：【计】 stepwise program refinement