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