code contractsErik Porter, Charles, Mike Sampson, Grace Francisco, Brian Keller, Nathan Heskew, dshadle, Dan Fernandez, Duncan Mackenzie, Jeff Sandquisthttp://mschnlnine.vo.llnwd.net/d1/Dev/App_Themes/C9/images/feedimage.pnghttp://channel9.msdn.com/tags/code+contracts/code contractshttp://channel9.msdn.com/tags/code+contracts/en-usFri, 18 Sep 2009 23:34:57 GMTFri, 18 Sep 2009 23:34:57 GMTEvNet (EvNet, Version=1.0.3608.3122, Culture=neutral, PublicKeyToken=null)<img src="http://ecn.channel9.msdn.com/o9/ch9/7/6/8/2/9/4/contractseditorextensions_85_ch9.png" border="0" /><a href="http://darylzuniga.wordpress.com/">Daryl Zuniga</a> gives a fast and furious demo of the new editor extensions for <a href="http://research.microsoft.com/contracts">Code Contracts.NET</a>. When a developer overrides a method with Contracts, the rewritter would automatically insert the pre-conditions and post-conditions in the method body. Unfortunately, the editor is not aware of that - leaving the developer confused... Not anymore, Daryl's extension mines the Contracts on the fly and hosts them in the shiny new WPF editor of Visual Studio 2010. <br /> <br /> <i>The </i><a href="http://research.microsoft.com/rise"><i>Research in Software Engineering team</i></a><i> (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.</i><img src="http://channel9.msdn.com/492867/WebViewBug.aspx?EVT=0" height="1" width="1" alt="" />http://channel9.msdn.com/posts/Peli/Code-Contracts-in-the-IDE/Daryl Zuniga gives a fast and furious demo of the new editor extensions for Code Contracts.NET. When a developer overrides a method with Contracts, the rewritter would automatically insert the pre-conditions and post-conditions in the method body. Unfortunately, the editor is not aware of that - leaving the developer confused... Not anymore, Daryl's extension mines the Contracts on the fly and hosts them in the shiny new WPF editor of Visual Studio 2010. The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.http://channel9.msdn.com/posts/Peli/Code-Contracts-in-the-IDE/Mon, 21 Sep 2009 22:59:00 GMThttp://ecn.channel9.msdn.com/o9/ch9/7/6/8/2/9/4/contractseditorextensions_ch9.mp424736http://channel9.msdn.com/492867/WebViewBug.aspx?EVT=0<a href="http://darylzuniga.wordpress.com/">Daryl Zuniga</a> gives a fast and furious demo of the new editor extensions for <a href="http://research.microsoft.com/contracts">Code Contracts.NET</a>...Peli de HalleuxPeli de Halleux8http://channel9.msdn.com/posts/Peli/Code-Contracts-in-the-IDE/RSS/http://channel9.msdn.com/492867/Trackback.aspx.net 4.0.NET Framework 4.0code contractseditorriseVisual Studio 2010<img src="http://mschnlnine.vo.llnwd.net/d1/ch9/4/0/7/3/8/4/ccdoc_small_ch9.png" border="0" /><a href="http://research.microsoft.com/en-us/people/mbarnett/">Mike Barnett</a> and <a href="http://darylzuniga.wordpress.com/">Daryl Zuniga</a>, a high school intern at RiSE, sit down to talk about <a href="http://research.microsoft.com/en-us/projects/contracts/default.aspx">Code Contracts for .NET</a> and documentation. Daryl has been working this summer on a tool that inserts contracts elements into the Xml Documentation files generated by the C#/VB compiler. Daryl also updated the <a href="http://www.codeplex.com/Sandcastle">Sandcastle</a> stylesheets so that the contracts appear in the documentation pages.<br /> <br /> <ul> <li>Code Contracts for .NET <a href="http://research.microsoft.com/en-us/projects/contracts/default.aspx">home page</a> - <a href="http://social.msdn.microsoft.com/Forums/en/codecontracts/threads">forums</a> </li> <li><a href="http://channel9.msdn.com/tags/code+contracts/">See more</a> Channel 9 videos on Code Contracts </li> </ul> <em><strong> Update: </strong>the xml comment generation is now available for download!<br /> </em><br /> <i>The </i><a href="http://research.microsoft.com/rise"><i>Research in Software Engineering team</i></a><i> (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.</i><img src="http://channel9.msdn.com/483704/WebViewBug.aspx?EVT=0" height="1" width="1" alt="" />http://channel9.msdn.com/posts/Peli/Xml-Documentation-from-Code-Contracts-for-Net/Mike Barnett and Daryl Zuniga, a high school intern at RiSE, sit down to talk about Code Contracts for .NET and documentation. Daryl has been working this summer on a tool that inserts contracts elements into the Xml Documentation files generated by the C#/VB compiler. Daryl also updated the Sandcastle stylesheets so that the contracts appear in the documentation pages. Code Contracts for .NET home page - forums See more Channel 9 videos on Code Contracts  Update: the xml comment generation is now available for download! The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.http://channel9.msdn.com/posts/Peli/Xml-Documentation-from-Code-Contracts-for-Net/Mon, 10 Aug 2009 22:55:00 GMThttp://mschnlnine.vo.llnwd.net/d1/ch9/4/0/7/3/8/4/ccdoc_ch9.mp458712http://channel9.msdn.com/483704/WebViewBug.aspx?EVT=0Mike Barnett and Daryl Zuniga, a high school intern at RiSE, sit down to talk about Code Contracts for .NET and documentation. Daryl has been working on a tool that inserts contracts elements into the Xml Documentation files generated by the C#/VB compiler...Peli de HalleuxPeli de Halleux12http://channel9.msdn.com/posts/Peli/Xml-Documentation-from-Code-Contracts-for-Net/RSS/http://channel9.msdn.com/483704/Trackback.aspx.net 4.0.NET Framework 4.0code contractsriseSoftware Engineering Research<img src="http://mschnlnine.vo.llnwd.net/d1/ch9/5/4/3/6/6/4/contractsandpex_small_ch9.png" border="0" /><a href="http://research.microsoft.com/~maf">Manuel Fähndrich</a> and <a href="http://blog.dotnetwiki.org/">Peli de Halleux</a> sit down for a quick coding session that shows how to use <a href="http://research.microsoft.com/contracts">Code Contracts</a> and <a href="http://research.microsoft.com/pex">Pex</a> together. Code Contracts can be used to specify what your code should do, they get turned into runtime checks which Pex can analyse and try to find counter-examples for. This was a fun session with Manuel and really shows the synergy of the two tools/approaches.<br /> <br /> Both tools can be downloaded from Devlabs or our academic project pages.<br /> <br /> <ul> <li>Code Contracts: <a href="http://research.microsoft.com/contracts">http://research.microsoft.com/contracts</a> </li> <li>Pex: <a href="http://research.microsoft.com/pex">http://research.microsoft.com/pex</a> </li> </ul> <p><em>The </em><a href="http://research.microsoft.com/rise"><em>Research in Software Engineering team</em></a><em> (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.</em></p><img src="http://channel9.msdn.com/466345/WebViewBug.aspx?EVT=0" height="1" width="1" alt="" />http://channel9.msdn.com/posts/Peli/The-Synergy-of-Code-Contracts-and-Pex/Manuel Fähndrich and Peli de Halleux sit down for a quick coding session that shows how to use Code Contracts and Pex together. Code Contracts can be used to specify what your code should do, they get turned into runtime checks which Pex can analyse and try to find counter-examples for. This was a fun session with Manuel and really shows the synergy of the two tools/approaches. Both tools can be downloaded from Devlabs or our academic project pages. Code Contracts: http://research.microsoft.com/contracts Pex: http://research.microsoft.com/pex The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.http://channel9.msdn.com/posts/Peli/The-Synergy-of-Code-Contracts-and-Pex/Thu, 23 Apr 2009 18:59:00 GMThttp://mschnlnine.vo.llnwd.net/d1/ch9/5/4/3/6/6/4/contractsandpex_ch9.mp433307http://channel9.msdn.com/466345/WebViewBug.aspx?EVT=0Manuel Fähndrich and Peli de Halleux (me) sit down for a quick coding session that shows how to use Code Contracts and Pex together. Code Contracts can be used to specify what your code should do, they get turned into runtime checks, Pex analyses those checks and tries to find counter-examples. This was a fun session with Manuel and really shows the synergy of the two tools/approaches.Peli de HalleuxPeli de Halleux9http://channel9.msdn.com/posts/Peli/The-Synergy-of-Code-Contracts-and-Pex/RSS/http://channel9.msdn.com/466345/Trackback.aspxcode contractsMicrosoft ResearchPEXresearchriseTest Driven Development<img src="http://mschnlnine.vo.llnwd.net/d1/ch9/2/9/4/7/5/4/mikescontractstutorial_small_ch9.png" border="0" /><a href="http://research.microsoft.com/en-us/people/mbarnett/">Mike Barnett</a> gives a step-by-step tutorial on <a href="http://research.microsoft.com/contracts">Code Contracts</a>, a new way to express preconditions, postconditions and invariants in any .NET language. The contracts team have built a runtime instrumentation tool and also advanced static checkers that can understand and reason about contracts.<br /> <br /> The Code Contracts library can be downloaded for Visual Studio 2008 from the DevLabs web site. They will be part of the .Net framework 4.0!!!<br /> <br /> <ul> <li>Contracts @ DevLabs: <a href="http://msdn.microsoft.com/en-us/devlabs/dd491992.aspx">http://msdn.microsoft.com/en-us/devlabs/dd491992.aspx</a> </li> <li>Contracts @ Microsoft Research: <a href="http://research.microsoft.com/contracts">http://research.microsoft.com/contracts</a> </li> <li>Contracts forums: <a href="http://social.msdn.microsoft.com/Forums/en-US/codecontracts/threads/">http://social.msdn.microsoft.com/Forums/en-US/codecontracts/threads/</a>  </li> </ul> <p><i>The </i><a href="http://research.microsoft.com/rise"><i>Research in Software Engineering team</i></a><i> (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.</i></p><img src="http://channel9.msdn.com/457492/WebViewBug.aspx?EVT=0" height="1" width="1" alt="" />http://channel9.msdn.com/posts/Peli/Getting-started-with-Code-Contracts-in-Visual-Studio-2008/Mike Barnett gives a step-by-step tutorial on Code Contracts, a new way to express preconditions, postconditions and invariants in any .NET language. The contracts team have built a runtime instrumentation tool and also advanced static checkers that can understand and reason about contracts. The Code Contracts library can be downloaded for Visual Studio 2008 from the DevLabs web site. They will be part of the .Net framework 4.0!!! Contracts @ DevLabs: http://msdn.microsoft.com/en-us/devlabs/dd491992.aspx Contracts @ Microsoft Research: http://research.microsoft.com/contracts Contracts forums: http://social.msdn.microsoft.com/Forums/en-US/codecontracts/threads/  The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.http://channel9.msdn.com/posts/Peli/Getting-started-with-Code-Contracts-in-Visual-Studio-2008/Mon, 23 Feb 2009 22:40:00 GMThttp://mschnlnine.vo.llnwd.net/d1/ch9/2/9/4/7/5/4/mikescontractstutorial_ch9.mp440292http://channel9.msdn.com/457492/WebViewBug.aspx?EVT=0<a href="http://research.microsoft.com/en-us/people/mbarnett/">Mike Barnett</a> gives a step-by-step tutorial on <a href="http://research.microsoft.com/contracts">Code Contracts</a>, a new way to express preconditions, postconditions and invariants in any .NET language. The Code Contracts library can be downloaded for Visual Studio 2008 from the DevLabs web site and will be part of the .Net framework 4.0!!!<br /> <br />Peli de HalleuxPeli de Halleux11http://channel9.msdn.com/posts/Peli/Getting-started-with-Code-Contracts-in-Visual-Studio-2008/RSS/http://channel9.msdn.com/457492/Trackback.aspxcode contractsDevLabsriseSoftware Engineering ResearchSpecSharpverificationVisual Studio