Files‎ > ‎

Downloads from Presentation to Minnesota Visual Studio Users Group - February 2010

The attachments below contains resources used during the presentation to the Minnesota Visual Studio user  group meeting February 17, 2010.  The presentation is described in the blog article http://codecontracts.info/2010/02/20/presentation-on-code-contracts-to-minnesota-visual-studio-user-group-wednesday-february-17-2010/ 
 
If you just want the Code Contracts Quick Reference, go here .
 
The zip files below contains the Visual Studio 2008 solution which contains the code used in the demonstration as well as the PowerPoint  slides, and the quick reference. Feel free to reuse the slides or code.  If you publish any portion of the information,   a link back to the original blog article would be appreciated. If credit is given to others, do not remove those credits.

All Users

Please Note! Windows does some funky protection thing when you download a file. So be sure to unblock each file before unzipping it. Otherwise you may have all manner of trouble loading and converting the projects.

Visual Studio 2008 Users

The projects were made with Visual Studio 2008. You will have the easiest experience if you open them in this version of Visual studio. I converted these to Visual Studio 2010 for my presentation but the attachments below are the VS 2008 versions.

Visual Studio 2010 users

If you load these solutions in Visual Studio 2010, you will be required to upgrade them. You may also upgrade them to the latest 4.0 version of the framework when asked. If you do that, you will have to remove all explicit project references to Microsoft.Contracts, since these are only needed for Visual Studio 2008. It is not really hard to work with these solutions in visual studio 2010 but you have to have a tolerance for some of these conversion tasks.
 
ċ
BankSystemWithDefectsWithoutContracts.zip
(625k)
David Allen,
Feb 7, 2010, 8:51 PM
ċ
BankSystemWithoutDefectsWithContracts.zip
(693k)
David Allen,
Feb 7, 2010, 8:51 PM
ċ
ContractProgramming-Cleaned.zip
(3083k)
David Allen,
Feb 7, 2010, 8:54 PM
Comments