En tilstrekkelig detaljert spesifikasjon er ikke kode