三、用可展示的程序推动设计