Jessica Kerr talks about Clojure and explores the potential of contracts as the best-yet compromise between types and tests.
Ondrej Krajicek discusses how basic techniques - SOLID principles, Design by Contract - and certain metrics can be used in architecting microservices, and the benefits resulting from using them.
Patrick Smacchia shares code analysis-related practices - structuring code, measuring code quality, automated tests, code contracts, reporting progress, trending- based on his experience with NDepend.
Joël Hébert introduces and demoes Design by Contract’s main concepts –preconditions, postconditions, object invariants- showing their benefits in creating more robust code.
Greg Young talks about .NET’s Contracts library, showing how to use it, what it is good for, and how it improves code quality.
After presenting some basics of Design by Contract using Microsoft’s SpecSharp framework, Greg Young explains how we can keep the Test First mentality in a Contract First world.