自上而下，逐步求精

自上而下，逐步求精是一种解决问题的途径，“自上而下"的意思是将复杂、大的问题划分为一个一个的小问题，找出问题的关键、重点所在，然后用精确的思维定性、定量地去描述问题。 而”逐步求精“是则将现实世界的问题经抽象转化为逻辑空间或求解空间的问题，复杂问题经抽象化处理变为相对比较简单的问题，经若干步抽象（精化）处理之后，最后到求解域中只是比较简单的编程问题。 

首先，先来看一段大体的伪代码：
（1）用户选择注水量 
（2）注水， 水位计计水位 
（3）浸泡， 计时器计时 
（4）电机转动, 先左转后右转，计时器计时 
（5）排水， 水位计计水位 
（6）结束

然后，假设洗衣机可执行的基本操作如下：     
waterinswitch(openclose) // open 打开上水开关，close关闭 
wateroutswitch(openclose) // open 打开排水开关，close关闭 
getwatervolume() //返回洗衣机内部水的高度 
**motorrun(direction) *// 电机转动。left左转，right右转， stop停 
timecounter() // 返回当前时间计数，以秒为单位
*halt(returncode) **//停机， success 成功 failure 失败

所以，更进一步，我们可以写出以下的伪代码：
READ 用户选择的注水量
waterinswitch（open）
REPEAT 注水   
UNTIL getwatervolume()=用户选择的注水量
waterinswitch（close）
REPEAT 浸泡
UNTIL timecounter()=默认时间
WHILE （电机工作时间 > 0）
REPAET
motorrun(left)
motorrun(right)
电机工作时间 --
ENDWHILE
WHILE (getwatervolume() != 0)
wateroutswitch(open)
ENDWHILE
wateroutswitch(close)

以上，大体介绍了这个方法，我们也可以提取一些共性功能模块（函数），简化“正常洗衣”程序，使程序变得更利于人类理解和修改维护。例如：
wait(time) //等待指定的时间；
注水(volume,timeout) //在指定时间内完成注水，否则停机； 
排水(timeout) //在指定的时间内完成排数，否则停机。
等等更多的子程序……