A (human language) specification is simply _enough_ information about a system that a human can figure out the intention of the author. The smarter and more con

A (human language) specification is simply _enough_ information about a system that a human can figure out the intention of the author. The smarter and more context-rich the human, the simpler the specification can be. The dumber and less context-rich the human, the closer the specification needs to be to code. It's asymptotic. By the time you reach a human who is as dumb as an actual computer, the specification _is_ the code.