Presentation: "TDD in a DbC World"

Time: Thursday 15:45 - 16:45

Location: Olympic


Design by Contract is slowly moving its way into the mainstream. Many wrongfully find Test Driven Development and Design by Contract to be in conflict with each other.

This session will familiarize the audience with some some basic concepts of Design by Contract and the use of a theorem prover for the static checking of contracts, discussion will then look in more depth at how we can maintain a Test First mentality in a Contract First world.

Greg Young, IMIS

 Greg  Young

Greg Young is co-founder and CTO of IMIS, a stock market analytics firm in Vancouver BC. With over 10 years of varied experience in computer science from embedded operating systems to business systems and everything in between, he brings a pragmatic and often times unusual viewpoint to discussions.

In his spare time you can often find Greg on where he runs the .NET section of the site, writing articles for, speaking at local .NET groups throughout the south eastern US and now the pacific northwest, or floating upside down through rapids in his kayak.