FL Seminar – La programmation par contrat par Jacques Silberstein

La programmation par contrat est un paradigme de programmation dans lequel le déroulement des traitements est régi par des règles. Ces règles, appelées des assertions forment un contrat qui précise les responsabilités entre le client et le fournisseur d’un morceau de code logiciel. La programmation par contrat adresse la question fondamental de la fiabilité du logiciel.

L’essence même de la programmation orientée objet, c’est la délégation des responsabilités : l’idée est de résoudre des tâches plus ou moins complexes en faisant collaborer différents objets qui ont chacun une responsabilité particulière. La programmation par contrat consiste à établir des contrats entre ces différents objets, des contrats qui définissent dans quelles conditions les objets peuvent collaborer.

Historiquement, la programmation par contrat a été introduite par Bertrand Meyer en 1985.

Slides disponibles ici.

Leave a Reply