Channel 9 - Entries tagged with code contracts Microsoft http://mschnlnine.vo.llnwd.net/d1/Dev/App_Themes/C9/images/feedimage.png Channel 9 - Entries tagged with code contracts http://channel9.msdn.com/Tags/code+contracts Channel 9 keeps you up to date with the latest news and behind the scenes info from Microsoft that developers love to keep up with. From LINQ to SilverLight – Watch videos and hear about all the cool technologies coming and the people behind them. http://channel9.msdn.com/Tags/code+contracts en Wed, 19 Jun 2013 22:47:16 GMT Wed, 19 Jun 2013 22:47:16 GMT Rev9 13 1 25 Advanced Windows Store App Development using C#: (06) Advanced Contracts Part 2 In this part two module Jerry and Daren cover Search and PlayTo contracts. Enjoy the numerous demos on how to execute these.

Full course outline:

]]> http://channel9.msdn.com/Series/Advanced-Windows-Store-App-Development-using-C-/Advanced-Windows-Store-App-Development-using-C-06-Advanced-Contracts-Part-2 In this part two module Jerry and Daren cover Search and PlayTo contracts. Enjoy the numerous demos on how to execute these. [01:18] - Search contract [30:58] - PlayTo contract Full course outline: Mod 01: Animations Mod 02: Responsive Design Mod 03: Branding Mod 04: Reusable Controls Mod 05: Advanced Contracts Part 1 Mod 06: Advanced Contracts Part 2 Mod 07: Media Mod 08: Advanced Features 3293 http://channel9.msdn.com/Series/Advanced-Windows-Store-App-Development-using-C-/Advanced-Windows-Store-App-Development-using-C-06-Advanced-Contracts-Part-2 Tue, 28 May 2013 22:57:45 GMT http://channel9.msdn.com/Series/Advanced-Windows-Store-App-Development-using-C-/Advanced-Windows-Store-App-Development-using-C-06-Advanced-Contracts-Part-2 JeffKoch JeffKoch 0 http://channel9.msdn.com/Series/Advanced-Windows-Store-App-Development-using-C-/Advanced-Windows-Store-App-Development-using-C-06-Advanced-Contracts-Part-2/RSS C# code contracts JumpStart XAML Windows Store App Advanced Windows Store App Development using C#: (05) Advanced Contracts Part 1 This session provides an overview of printing and settings contract. Printing other than trivial content is hard, learn more on how to handle pagination, print preview and how to generate the actual pages.

Full course outline:

]]> http://channel9.msdn.com/Series/Advanced-Windows-Store-App-Development-using-C-/Advanced-Windows-Store-App-Development-using-C-05-Advanced-Contracts-Part-1 This session provides an overview of printing and settings contract. Printing other than trivial content is hard, learn more on how to handle pagination, print preview and how to generate the actual pages. [02:16] - Print contract [32:34] - Settings contract Full course outline: Mod 01: Animations Mod 02: Responsive Design Mod 03: Branding Mod 04: Reusable Controls Mod 05: Advanced Contracts Part 1 Mod 06: Advanced Contracts Part 2 Mod 07: Media Mod 08: Advanced Features 3393 http://channel9.msdn.com/Series/Advanced-Windows-Store-App-Development-using-C-/Advanced-Windows-Store-App-Development-using-C-05-Advanced-Contracts-Part-1 Tue, 28 May 2013 22:56:46 GMT http://channel9.msdn.com/Series/Advanced-Windows-Store-App-Development-using-C-/Advanced-Windows-Store-App-Development-using-C-05-Advanced-Contracts-Part-1 JeffKoch JeffKoch 0 http://channel9.msdn.com/Series/Advanced-Windows-Store-App-Development-using-C-/Advanced-Windows-Store-App-Development-using-C-05-Advanced-Contracts-Part-1/RSS C# code contracts JumpStart XAML Windows Store App Essentials of Developing Windows Store Apps using C#: (07) Implementing Windows 8 Contracts, Tiles and User Notifications Learn how to search and share charms and contracts. In this module Jerry and Daren focus on charm setting, primary and secondary tiles and toast notifications.

Full course outline:

]]> http://channel9.msdn.com/Series/Essentials-of-Developing-Windows-Store-Apps-using-C-/Essentials-of-Developing-Windows-Store-Apps-using-C-07-Implementing-Windows-8-Contracts-Tiles-and-Us Learn how to search and share charms and contracts. In this module Jerry and Daren focus on charm setting, primary and secondary tiles and toast notifications. [01:05] - Search Charm and Contract [20:27] - Share Charm and Contract [28:20] - Playto Contract [33:15] - Settings Charm [38:41] - Primary and Secondary Tiles [49:57] - Toast Notifications Full course outline: Mod 01: Overview of the Windows 8 Platform and Windows Store Apps Mod 02: Creating User Interfaces using XAML Mod 03: Presenting Data and Implementing Layout using Windows 8 Built-In Controls Mod 04: Handling Files in Windows Store Apps and Process Lifecycle Management Mod 05: Working with Resources, Styles, and Templates Mod 06: Designing and Implementing Navigation in a Windows Store App Mod 07: Implementing Windows 8 Contracts, Tiles and User Notifications Mod 08: Local Data and Planning for Windows Store App Deployment 3415 http://channel9.msdn.com/Series/Essentials-of-Developing-Windows-Store-Apps-using-C-/Essentials-of-Developing-Windows-Store-Apps-using-C-07-Implementing-Windows-8-Contracts-Tiles-and-Us Wed, 08 May 2013 01:16:33 GMT http://channel9.msdn.com/Series/Essentials-of-Developing-Windows-Store-Apps-using-C-/Essentials-of-Developing-Windows-Store-Apps-using-C-07-Implementing-Windows-8-Contracts-Tiles-and-Us JeffKoch JeffKoch 0 http://channel9.msdn.com/Series/Essentials-of-Developing-Windows-Store-Apps-using-C-/Essentials-of-Developing-Windows-Store-Apps-using-C-07-Implementing-Windows-8-Contracts-Tiles-and-Us/RSS C# code contracts JumpStart XAML Windows Store App Windows 8 UX Design: (07) Charms, Contracts and Extensions These elements are a core part of the expected Windows experience. This module focuses on how these allow apps to work together on broad scenarios, how to extend or customize features and how to share.

Full course outline:

]]> http://channel9.msdn.com/Series/Windows-8-UX-Design-Jump-Start/Windows-8-UX-Design-07-Charms-Contracts-and-Extensions These elements are a core part of the expected Windows experience. This module focuses on how these allow apps to work together on broad scenarios, how to extend or customize features and how to share. [07:32] - Share contract [16:15] - Share source [21:27] - Share target [26:33] - Search [48:00] - File picking [56:15] - Settings Full course outline: Mod 01: The Microsoft Design Language Mod 02: Less is More Mod 03: Navigation Mod 04: Layout Mod 05: UI Elements Mod 06: Snap and Scale Beautifully Mod 07: Charms, Contracts and Extensions Mod 08: Tiles and Notifications Mod 09: Touch Mod 10: Animation Mod 11: Accessibility Mod 12: Globalization Mod 13: The Windows Store 4041 http://channel9.msdn.com/Series/Windows-8-UX-Design-Jump-Start/Windows-8-UX-Design-07-Charms-Contracts-and-Extensions Tue, 30 Apr 2013 00:03:09 GMT http://channel9.msdn.com/Series/Windows-8-UX-Design-Jump-Start/Windows-8-UX-Design-07-Charms-Contracts-and-Extensions JeffKoch JeffKoch 0 http://channel9.msdn.com/Series/Windows-8-UX-Design-Jump-Start/Windows-8-UX-Design-07-Charms-Contracts-and-Extensions/RSS code contracts Extensions JumpStart User Experience Windows 8 Mike Barnett and Daryl Zuniga: Code Contracts Editor Extensions Mike Barnett and Daryl Zuniga showcase the Code Contracts Editor Extensions. The extensions integrate Code Contracts into the C# intellisense, the Code Definition View and even the editor text itself.

The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.

]]> http://channel9.msdn.com/Blogs/Peli/Code-Contracts-Editor-Extensions Mike Barnett and Daryl Zuniga showcase the Code Contracts Editor Extensions. The extensions integrate Code Contracts into the C# intellisense, the Code Definition View and even the editor text itself. Download the Code Contracts Editor Extensions Try Code Contracts in your browser at http://pex4fun.comThe Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA. 299 http://channel9.msdn.com/Blogs/Peli/Code-Contracts-Editor-Extensions Tue, 21 Sep 2010 16:25:54 GMT http://channel9.msdn.com/Blogs/Peli/Code-Contracts-Editor-Extensions Peli de Halleux Peli de Halleux 2 http://channel9.msdn.com/Blogs/Peli/Code-Contracts-Editor-Extensions/RSS .NET 4.0 .NET Framework 4.0 code contracts editor Visual Studio 2010 Nikolai Tillmann and Aaron Shaver - Coding Duels at pexforfun.com Nikolai Tillmann walks us through pexforfun.com, a website where you can write small C#, VB, or F# programs and explore them directly from your browser by using Pex. Additionally, Pex also makes it possible to play coding duels, in which users compete to discover a secret puzzle implementation.

Tune in to watch as Nikolai discusses all of this and plays a duel with Aaron Shaver, our high school intern who has been writing puzzles all summer long.

The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.

]]> http://channel9.msdn.com/Blogs/Peli/Coding-Duels-at-pexforfuncom In this video, Nikolai Tillmann walks us through pexforfun.com, a website where you can write small C#, VB, or F# programs and explore them directly from your browser by using Pex. Additionally, Pex also makes it possible to play coding duels, in which users compete to discover a secret puzzle implementation. Tune in to watch as Nikolai discusses all of this and plays a duel with Aaron Shaver, our high school intern who has been writing puzzles all summer long. The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA. 379 http://channel9.msdn.com/Blogs/Peli/Coding-Duels-at-pexforfuncom Wed, 04 Aug 2010 17:59:00 GMT http://channel9.msdn.com/Blogs/Peli/Coding-Duels-at-pexforfuncom Peli de Halleux Peli de Halleux 12 http://channel9.msdn.com/Blogs/Peli/Coding-Duels-at-pexforfuncom/RSS .NET .NET Framework code contracts PEX RiSE Code Contracts and Pex: Power Charge Your Assertions and Unit Tests By Nikolai Tillmann and  Mike Barnett

Learn how Code Contracts provides a set of tools for design-by-contract programming and how Pex is an advanced unit-testing tool that uses automated program exploration to intelligently create unit tests with high code coverage. 
See how they work together so that your code has fewer defects.

Learn about new features for Code Contracts including automatic documentation generation, call-site checking for components and reference assemblies for the .NET Framework and for Pex including a light-weight mocking framework, improved support for large code bases, and more thorough test input generation.

Links:
PEX // Code Contracts // Mike Barnett // Nikolai Tillmann // MDCC // DPE DK

]]> http://channel9.msdn.com/Blogs/martinesmann/Code-Contracts-and-Pex-Power-Charge-Your-Assertions-and-Unit-Tests By Nikolai Tillmann and  Mike BarnettLearn how Code Contracts provides a set of tools for design-by-contract programming and how Pex is an advanced unit-testing tool that uses automated program exploration to intelligently create unit tests with high code coverage.  See how they work together so that your code has fewer defects. Learn about new features for Code Contracts including automatic documentation generation, call-site checking for components and reference assemblies for the .NET Framework and for Pex including a light-weight mocking framework, improved support for large code bases, and more thorough test input generation.Links:PEX // Code Contracts // Mike Barnett // Nikolai Tillmann // MDCC // DPE DK 6108 http://channel9.msdn.com/Blogs/martinesmann/Code-Contracts-and-Pex-Power-Charge-Your-Assertions-and-Unit-Tests Fri, 28 May 2010 12:01:00 GMT http://channel9.msdn.com/Blogs/martinesmann/Code-Contracts-and-Pex-Power-Charge-Your-Assertions-and-Unit-Tests martinesmann martinesmann 2 http://channel9.msdn.com/Blogs/martinesmann/Code-Contracts-and-Pex-Power-Charge-Your-Assertions-and-Unit-Tests/RSS code contracts DPEDK MDCC Microsoft Research Mike Barnett MS Research Nikolai-Tillmann PEX RiSE Francesco Logozzo - Static Checking with Code Contracts for .NET Francesco Logozzo, a researcher at the Research in Software Engineering (RiSE) group at Microsoft Research, gives a demo of the Static Checker that comes with Code Contracts for .NET tools. The static checker allows you to verify that all the assertions in your code hold without actually running the code!

Francesco also goes to the whiteboard and gives us a short tutorial on Abstract Interpretation, the technique used by the static checker to prove the assertions.

The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.

]]> http://channel9.msdn.com/Blogs/Peli/Static-Checking-with-Code-Contracts-for-NET Francesco Logozzo, a researcher at the Research in Software Engineering (RiSE) group at Microsoft Research, gives a demo of the Static Checker that comes with Code Contracts for .NET tools. The static checker allows you to verify that all the assertions in your code hold without actually running the code!Francesco also goes to the whiteboard and gives us a short tutorial on Abstract Interpretation, the technique used by the static checker to prove the assertions. Try the Code Contracts in your web browser at http://pex4fun.com/absverified! Code Contracts ForumsCode Contracts Home pageThe Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA. 1149 http://channel9.msdn.com/Blogs/Peli/Static-Checking-with-Code-Contracts-for-NET Tue, 22 Dec 2009 19:47:00 GMT http://channel9.msdn.com/Blogs/Peli/Static-Checking-with-Code-Contracts-for-NET Peli de Halleux Peli de Halleux 4 http://channel9.msdn.com/Blogs/Peli/Static-Checking-with-Code-Contracts-for-NET/RSS .NET 4.0 .NET Framework 4.0 code contracts Microsoft Research RiSE Software Engineering Research Verification MSDN Flash Podcast 013 – Code Contracts at TechEd Europe Peli de Halleux and Nikolai Tillmann to talk about Code Contracts.

Code Contracts contains a common library (System.Diagnostics.Contracts) for expressing pre-conditions, post-conditions and invariants which any tool writer can take advantage of. A number of tools are available on devlabs including a documentation extracter and a static analysis tool. Code Contracts works with .Net 4 and .Net 2.

Hear why Code Contracts is a better way of implementing assertions including enabling the conditons to be specified against interfaces - sweet!
]]> http://channel9.msdn.com/Blogs/Eric+Nelson/MSDN-Flash-Podcast-013--Code-Contracts-at-TechEd-Europe While at TechEd Europe in November 2009 I had a chance to catch up with the two lead developers of the Pex team Peli de Halleux and Nikolai Tillmann to talk about Code Contracts. Code Contracts contains a common library (System.Diagnostics.Contracts) for expressing pre-conditions, post-conditions and invariants which any tool writer can take advantage of. A number of tools are available on devlabs including a documentation extracter and a static analysis tool. Code Contracts works with .Net 4 and .Net 2.Hear why Code Contracts is a better way of implementing assertions including enabling the conditons to be specified against interfaces - sweet! 388 http://channel9.msdn.com/Blogs/Eric+Nelson/MSDN-Flash-Podcast-013--Code-Contracts-at-TechEd-Europe Tue, 01 Dec 2009 13:43:00 GMT http://channel9.msdn.com/Blogs/Eric+Nelson/MSDN-Flash-Podcast-013--Code-Contracts-at-TechEd-Europe Eric Nelson Eric Nelson 0 http://channel9.msdn.com/Blogs/Eric+Nelson/MSDN-Flash-Podcast-013--Code-Contracts-at-TechEd-Europe/RSS .NET 4.0 .NET Framework 4.0 code contracts RiSE UKDevTeam UKMSDNPodcast Daryl Zuniga - Viewing Code Contracts.NET in Visual Studio 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/Blogs/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. 83 http://channel9.msdn.com/Blogs/Peli/Code-Contracts-in-the-IDE Mon, 21 Sep 2009 22:59:00 GMT http://channel9.msdn.com/Blogs/Peli/Code-Contracts-in-the-IDE Peli de Halleux Peli de Halleux 8 http://channel9.msdn.com/Blogs/Peli/Code-Contracts-in-the-IDE/RSS .NET 4.0 .NET Framework 4.0 code contracts editor RiSE Visual Studio 2010 Daryl Zuniga and Mike Barnett - 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.

 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/Blogs/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. 510 http://channel9.msdn.com/Blogs/Peli/Xml-Documentation-from-Code-Contracts-for-Net Mon, 10 Aug 2009 22:55:00 GMT http://channel9.msdn.com/Blogs/Peli/Xml-Documentation-from-Code-Contracts-for-Net Peli de Halleux Peli de Halleux 12 http://channel9.msdn.com/Blogs/Peli/Xml-Documentation-from-Code-Contracts-for-Net/RSS .NET 4.0 .NET Framework 4.0 code contracts RiSE Software Engineering Research Manuel Fahndrich and Peli de Halleux - 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.

The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.

]]> http://channel9.msdn.com/Blogs/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. Try it live at http://www.pexforfun.com Code Contracts: http://research.microsoft.com/contracts Pex: http://research.microsoft.com/pex See this video in French! The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA. 690 http://channel9.msdn.com/Blogs/Peli/The-Synergy-of-Code-Contracts-and-Pex Thu, 23 Apr 2009 18:59:00 GMT http://channel9.msdn.com/Blogs/Peli/The-Synergy-of-Code-Contracts-and-Pex Peli de Halleux Peli de Halleux 9 http://channel9.msdn.com/Blogs/Peli/The-Synergy-of-Code-Contracts-and-Pex/RSS code contracts Microsoft Research PEX Research RiSE Test Driven Development Mike Barnett - 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!!!

The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.

]]> http://channel9.msdn.com/Blogs/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. 1398 http://channel9.msdn.com/Blogs/Peli/Getting-started-with-Code-Contracts-in-Visual-Studio-2008 Mon, 23 Feb 2009 22:40:00 GMT http://channel9.msdn.com/Blogs/Peli/Getting-started-with-Code-Contracts-in-Visual-Studio-2008 Peli de Halleux Peli de Halleux 11 http://channel9.msdn.com/Blogs/Peli/Getting-started-with-Code-Contracts-in-Visual-Studio-2008/RSS code contracts DevLabs RiSE Software Engineering Research SpecSharp Verification Visual Studio