Even an informal process like TDD is a huge improvement in this space. You can’t write tests first without an at least implicit specification. It is really won

Even an informal process like TDD is a huge improvement in this space. You can’t write tests first without an at least implicit specification. It is really wonderful though when the algorithm just falls out of the specification. Dijkstra’s derivation of smoothsort[1] is a nice example. [1] https://www.cs.utexas.edu/users/EWD/transcriptions/EWD07xx/EWD796a.html https://www.cs.utexas.edu/users/EWD/transcriptions/EWD07xx/E...