<?xml version="1.0" encoding="utf-8" ?>
<?xml-stylesheet type="text/xsl" href="RSS_xslt_style.asp" version="1.0" ?>
<rss version="2.0" xmlns:WebWizForums="http://syndication.webwiz.co.uk/rss_namespace/">
 <channel>
  <title>DevForce Community Forum : Code Contracts</title>
  <link>http://www.ideablade.com/forum/</link>
  <description>This is an XML content feed of; DevForce Community Forum : Community Forum : Code Contracts</description>
  <pubDate>Wed, 10 Jun 2026 05:33:41 -700</pubDate>
  <lastBuildDate>Wed, 12 Jun 2013 15:00:49 -700</lastBuildDate>
  <docs>http://blogs.law.harvard.edu/tech/rss</docs>
  <generator>Web Wiz Forums 9.69</generator>
  <ttl>360</ttl>
  <WebWizForums:feedURL>www.ideablade.com/forum/RSS_post_feed.asp?TID=4175</WebWizForums:feedURL>
  <image>
   <title>DevForce Community Forum</title>
   <url>http://www.ideablade.com/forum/forum_images/IdeaBlade_logo_tm.png</url>
   <link>http://www.ideablade.com/forum/</link>
  </image>
  <item>
   <title>Code Contracts : OK, thanks Marcel. </title>
   <link>http://www.ideablade.com/forum/forum_posts.asp?TID=4175&amp;PID=16418#16418</link>
   <description>
    <![CDATA[<strong>Author:</strong> <a href="http://www.ideablade.com/forum/member_profile.asp?PF=579" rel="nofollow">gregweb</a><br /><strong>Subject:</strong> 4175<br /><strong>Posted:</strong> 12-Jun-2013 at 3:00pm<br /><br />OK, thanks Marcel.]]>
   </description>
   <pubDate>Wed, 12 Jun 2013 15:00:49 -700</pubDate>
   <guid isPermaLink="true">http://www.ideablade.com/forum/forum_posts.asp?TID=4175&amp;PID=16418#16418</guid>
  </item> 
  <item>
   <title>Code Contracts : I haven&amp;#039;t seen it used widely...</title>
   <link>http://www.ideablade.com/forum/forum_posts.asp?TID=4175&amp;PID=16416#16416</link>
   <description>
    <![CDATA[<strong>Author:</strong> <a href="http://www.ideablade.com/forum/member_profile.asp?PF=1005" rel="nofollow">mgood</a><br /><strong>Subject:</strong> 4175<br /><strong>Posted:</strong> 12-Jun-2013 at 10:30am<br /><br />I haven't seen it used widely myself and personally I haven't really spent time on it. On the surface it does look like a good idea and might be something useful in particular for libraries such as Cocktail to check things at runtime and ensure the caller is using the APIs correctly.<div><br></div><div>More importantly than contracts are good unit tests, though, in my opinion.</div>]]>
   </description>
   <pubDate>Wed, 12 Jun 2013 10:30:02 -700</pubDate>
   <guid isPermaLink="true">http://www.ideablade.com/forum/forum_posts.asp?TID=4175&amp;PID=16416#16416</guid>
  </item> 
  <item>
   <title>Code Contracts : I have recently been reading up...</title>
   <link>http://www.ideablade.com/forum/forum_posts.asp?TID=4175&amp;PID=16414#16414</link>
   <description>
    <![CDATA[<strong>Author:</strong> <a href="http://www.ideablade.com/forum/member_profile.asp?PF=579" rel="nofollow">gregweb</a><br /><strong>Subject:</strong> 4175<br /><strong>Posted:</strong> 12-Jun-2013 at 5:49am<br /><br />I have recently been reading up on Code Contracts, ala Contract By Design.  It seems like a good idea, but I have yet to see Contract.Requires and Contract.Ensure in production code, for example, in TempHire or Cocktail.<br /><br />Just wondering what your take on it is.<br /><br />Greg]]>
   </description>
   <pubDate>Wed, 12 Jun 2013 05:49:00 -700</pubDate>
   <guid isPermaLink="true">http://www.ideablade.com/forum/forum_posts.asp?TID=4175&amp;PID=16414#16414</guid>
  </item> 
 </channel>
</rss>