Programmazione per contratti in .NET 4 e Giro d’Italia

In questo video su Channel 9 Francesco Logozzo, ricercatore in Microsoft Research a Redmond, ci introduce alla Programmazione per contratti e ci mostra come usarla con .NET 4.

Cosa c’entra il “Giro d’Italia”?  La risposta è nel video!!!

Potete vedere anche questo video di Francesco in cui ci parla dell’analizzatore statico a cui lavora, di come usarlo e di come funziona.

Happy Code Contracts Programming