This doesn't track with the real world, though. If you are writing software, it is almost always trying to accomplish a goal outside of itself. It is trying to

This doesn't track with the real world, though. If you are writing software, it is almost always trying to accomplish a goal outside of itself. It is trying to solve a problem for someone, and how that problem can or should be solved is rarely perfectly clear. The spec is supposed to map to a real world problem, and there is never going to be a way to formalize that mapping.