Découvrez la programmation par contrat par Jean Baylon

0 0

La programmation par contrats est un outil développé par Bertrand Meyer avec le langage Eiffel. Elle a petit à petit donné lieu à des frameworks en Java, en C#, python, et Ada l’a inclut dans le core langage. Le but du talk est de : , - rendre intuitive la programmation par contrats (7 minutes avec exemples en ada) et d’en expliquer les avantages immédiats (spécifications du bon comportement au niveau des interfaces notamment), - ou moins évidents (preuves formelles, génération de contre exemples et Correct