Level: Intermediate to Advanced
			
			
			
			
			
                
                
                     
			        David  McCarter
			        
					Principal Software Engineer/ Contractor/ Teacher
					dotNetTips.com
			        
			     
            
            
            
			
			
			
			
			
			
                  
	        
				
			Learn to write and design bullet-proof types in .NET.
			This session will introduce developers to the new powerful new feature that is part of the .NET 4.5 framework called Code Contracts. Code Contracts brings the advantages of design-by-contract programming to .NET programming. Contracts are used to improve testing via runtime checking, enable static contract verification, and documentation generation.
You will learn to write and design bullet-proof types in .NET. An important part of coding standards and agile.