Q.E.D. is a test framework supporting Literate Driven Development (LDD).
Literate Driven Development is often referred to as Documentation Driven Development (DDD). But we have chose to use the term “Literate” in place of “Documentation” to help differentiate it from Domain Driven Design (DDD), and furthermore to drive home that it is a form of Literate Programming.
Literate Driven Development is essentially the same as Test Driven Development (TDD) and Behavior Driven Development (BDD). But, unlike TDD which begins with executable tests to verify behavior, and BDD which goes a step further by providing a domain specific language suitable to organizing and specifying behaviors, LDD takes the final step of having the developer write actual documentation describing systems behavior.
While this means the developer must take time to write effective descriptions, it in turn frees the developer of strict nomenclatures and specification patterns. This reduction in syntax barriers, on how one describes behaviors, leads to a proverbial gold mine in systems documentation.
LDD has several big advantages over other programming strategies, especially:
For more a detailed code-oriented understanding of Q.E.D., the API documention is also available.