Design specification