28 min listen
Microsoft Research: Spec#
ratings:
Length:
35 minutes
Released:
Apr 22, 2008
Format:
Podcast episode
Description
Scott sits down with Mike Barnett and Rustan Leino of Microsoft Research and talks about the Spec# programming language. The compiler enables Design By Contract and extends C#. The team needs your help to get these features in the next version of C#!
Released:
Apr 22, 2008
Format:
Podcast episode
Titles in the series (100)
Quetzal Bradley on Testing after Unit Tests: In this episode Scott talks with Quetzal Bradley, a Microsoft developer on the Connected Systems Architecture Team, about testing after unit tests. Is 100% Code Coverage enough? by Hanselminutes with Scott Hanselman