What about the complete opposite? Has anyone successfully used literate programming, perhaps even emulating Euclid's Elements, where you provide all the definitions (the precise meaning of concepts), postulates (system assumptions), common concepts (logical rules), propositions (functions), and implementations? Capturing all the logic in a document.