Cet article expose la construction d’algorithmes à l’aide d’une méthode qui a fait ses preuves : la méthode déductive, en abrégé : Médée. Largement exploitée dans le cadre de l’enseignement de l’Option Informatique dans les années 80, la méthode est générale et utilisable dans toutes les constructions d’algorithmes. Elle est issue des travaux de Claude Pair, menés au CRIN de Nancy, sur la construction systématique des programmes.
Cette méthode a d’indéniables vertus pédagogiques et mérite d’être utilisée (...)