Mark Perry: Design By Contract

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.