Comment by bpicolo

Yup. Virtually all software is underspecified before being written.

Space shuttle code might be the one exception.