SpecSharp Videos and Posts

4 posts

Channel 9 publishes SpecSharp videos and information for you to improve your knowledge and skills. This page provides a listing of content tagged with SpecSharp to see the most up-to-date information provided by the experts building Microsoft products & services

  • This Week
  • This Month
  • All Time
  • Filter content by language
  • Mike Barnett - Getting started with Code Contracts in Visual Studio 2008
    23 minutes, 18 seconds
  • The Verification Corner - Specifications in Action with Spec#
    14 minutes, 32 seconds
  • Expert to Expert: Contract Oriented Programming and Spec#
    1 hour, 15 minutes, 0 seconds
  • This Week C9: Win7 API's, Spec# and Boogie, Expression 3 Starter Kits
    25 minutes, 41 seconds