Tag: design-by-contract

La conception par Contrat (DbC) ou la Programmation par Contrat est une approche de la conception d’un logiciel d’ordinateur. Il prévoit que les concepteurs de logiciels devez définir formels, précis et vérifiables spécifications d’interface pour les composants logiciels, qui s’étendent de l’ordinaire définition de types de données abstraite avec des préconditions, postconditions et invariants. Ces spécifications sont dénommés « contrats », selon une métaphore conceptuelle avec les conditions …