|
|
Presentation: "TDD in a DbC World"
Time:
Thursday 15:45 - 16:45
Location:
Olympic
Abstract: 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 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 experts-exchange.com where he runs the .NET section of the site, writing articles for InfoQ.com, speaking at local .NET groups throughout the south eastern US and now the pacific northwest, or floating upside down through rapids in his kayak.
|
 |
| |
