You're right - having many possible implementations is NOT the problem here, if a natural language spec covers all the 'necessary' functionality of a piece of software, the implementation does not matter (whether it's implementation ID 4 or ID 27548323)
My argument is more of a forecast, and your last paragraph fits it correctly. I don't think we'll be able to maintain it once we get past a certain level of complexity. Or the maintenance / modification of that specification will be much more difficult to work with, to the point that we'll decide code is the solution.
My argument is more of a forecast, and your last paragraph fits it correctly. I don't think we'll be able to maintain it once we get past a certain level of complexity. Or the maintenance / modification of that specification will be much more difficult to work with, to the point that we'll decide code is the solution.