Examples
Example1: Let f(x) = 0 is a system to be implemented.
It is a design decision to use either Newton-Raphson or Gauss-SeidelS relaxation algorithm!
Example2: MPEG Encoder design
Spec: Encoding of compressed stream of data.
Any implementation that creates it from the stream is correct. Here the design decision is already there.