. "\u062A\u0635\u0645\u064A\u0645 \u0628\u0627\u0644\u0639\u0642\u0648\u062F"@ar . . . . . . . . . . . "Design by contract"@de . . "Oxygene"@fr . . . . . . . . . . . . . . . . . . "\u5951\u7EA6\u5F0F\u8BBE\u8BA1"@zh . . . . "33357"^^ . . "Programmation par contrat"@fr . . . . . . . . . . . . "186452049"^^ . . . . "Design by contract"@it . "\u041F\u0440\u043E\u0454\u043A\u0442\u0443\u0432\u0430\u043D\u043D\u044F \u0437\u0430 \u043A\u043E\u043D\u0442\u0440\u0430\u043A\u0442\u043E\u043C"@uk . "Oxygene"@fr . . . . . "La programmation par contrat (en anglais, design by contract ou DBC) est un paradigme de programmation dans lequel le d\u00E9roulement des traitements est r\u00E9gi par des r\u00E8gles. Ces r\u00E8gles, appel\u00E9es des assertions, forment un contrat qui pr\u00E9cise les responsabilit\u00E9s entre le client et le fournisseur d'un morceau de code logiciel. C'est une m\u00E9thode de programmation semi-formelle dont le but principal est de r\u00E9duire le nombre de bugs dans les programmes."@fr . . . . . "en"@fr . . . "6698"^^ . . "La programmation par contrat (en anglais, design by contract ou DBC) est un paradigme de programmation dans lequel le d\u00E9roulement des traitements est r\u00E9gi par des r\u00E8gles. Ces r\u00E8gles, appel\u00E9es des assertions, forment un contrat qui pr\u00E9cise les responsabilit\u00E9s entre le client et le fournisseur d'un morceau de code logiciel. C'est une m\u00E9thode de programmation semi-formelle dont le but principal est de r\u00E9duire le nombre de bugs dans les programmes. Historiquement, la programmation par contrat a \u00E9t\u00E9 introduite par Bertrand Meyer dans son langage Eiffel datant de 1985, qui \u00E9tait inspir\u00E9 de la notation Z cr\u00E9\u00E9e par Jean-Raymond Abrial."@fr . . . . "Oxygene"@fr . . . . . . . . . . . . . . .