"净室软件规范"描述了对系统或程序的两个功能性的观点。第一个基于外部行为（黑盒），第二个基于状态机（状态盒）。以下将描述第三个观点--用于实现状态盒并展示特定的外部行为的过程或算法（明盒）。　　自顶向下的循环过程必须做出许多设计决定。通过此过程，一个复杂系统的最高层规范转变为在计算机上执行的代码体。盒式结构方法本身不做出设计决定，但设计者最好考虑整个解空间。解空间