un petit nouveau est apparu sur DevLabs. il s'agit de CodeContracts , un framework de vérification. Il vous suffit de spécifier sur vos API, des pré-conditions, post-conditions, et invariants sous forme de contrats. Ces contrats peuvent ensuite utilisés
Lire la suite...