Code Contracts at PDC 2009

If you’re at PDC this year and interested in Code Contracts, go watch Mike Barnett and Nikolai Tillmann talk about Code Contracts and Pex (another MSR tool). Their session is called Code Contracts and Pex: Power Charge Your Assertions and Unit Tests. It's Tuesday at 4:30 in 408A. They’ll give you details on some of the latest developments in the Code Contract tools.

There will also be a table in the exhibition area where Manuel Fahndrich will have a demo and be able to answer questions.

Comments

• Anonymous
  December 07, 2009
  Just wondering whether https://connect.microsoft.com/VisualStudio/feedback/ViewFeedback.aspx?FeedbackID=93559 will be finally fixed in 4.0 or not.