La parte más difícil de la tarea del software es llegar a una especificación completa y coherente, y gran parte de la esencia de la construcción de un programa es, de hecho, la depuración de la especificación.