Microsoft introduit la programmation par contrats dans.Net

La programmation par contrats fait partie des concepts novateurs introduits par le langage Eiffel. Code Contracts.Net légitimise aujourd'hui l'approche par contrats.