Good points! Writing unit tests before code can help avoid mistakes in the interface design. Perhaps similarly, writing formal specification could expose the

Good points! Writing unit tests before code can help avoid mistakes in the interface design. Perhaps similarly, writing formal specification could expose the holes in your domain understanding.