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 Bio: Mark is a solutions architect and team leader with project management experience. He possesses more than 12 years of industry experience across multiple industries and technologies, with a focus on the Java ecosystem.
Additional comments by Anthony Berglas, Paul King, Steven Doolan and Benjamin Morgan