I gave a talk on Design By Contract to the Queensland JVM Group on April 10 2012. Here is the summary:

Design by contract (DbC) is an approach for designing software using precise interface specifications for software components. These specifications primarily use preconditions, postconditions and invariants and act as a metaphor for the conditions and obligations of business contracts. In this talk, Mark will use Google’s Contracts For Java library to:

  • Explain DbC and it’s benefits

  • Demonstrate how DbC can be integrated into Java projects

  • Explain DbC’s relationship with testing and type theory

I will endeavour to put the slides up in the next week.

comments powered by Disqus