When Does a Specification Become a Program? is @chadfowler.com’s latest.

“I suspect the useful abstraction looks closer to a knowledge graph than a requirements document”

That sounds technical, but it’s best for humans too: a bundle of info in different formats.