Découvrez la programmation par contrat

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 Correctness by Construction)