Comment by SR2Z

Regardless of whether or not the code is correct, it's still defining the behavior of the system.

If the customer would like to describe the ideal behavior of the system, the only way is to translate it into code.