Mardi 20 avril 2021 de 10h à 12h puis de 14h à 16h, en ligne
Cet exposé a pour but de présenter une démarche méthodique, systématique et scientifique d’analyse, de formalisation, de conception et d’implantation d’algorithme à partir d’une spécification. On y aborde différentes formes de spécifications et les questions à se poser pour les analyser. On montre ensuite comment, à partir de raffinements successifs, on élabore un algorithme, d’abord très grossier, puis finalement suffisamment détaillé pour en dériver une implantation dans un langage quelconque.