Méthodes de programmation [INFOB233]

Acquis d'apprentissage

A l'issue de ce cours, l'étudiant aura acquis une maîtrise du langage C et sera capable

• de construire un programme complexe impliquant la maîtrise d'algorithmes évolués et de mécanismes de programmation avancés
• de concevoir une architecture logicielle, basée sur différents composants
• de spécifier ces composants
• d'en dériver des algorithmes
• et de déduire de ceux-ci des programmes efficaces.

Il est à noter que, bien que le cours utilise le langage C, la grande majorité des acquis d'apprentissage s'appliquent à tout langage impératif.

Par ailleurs, durant le cours, l'étudiant sera sensibilisé à l'utilisation parcimonieuse de resources informatiques, que ce soit en temps de calcul, en mémoire utilisée, en taille de code, en utilisation de logiciels ou encore en coûts de maintenance de logiciels, et, de ce fait sera sensibilisé au développement durable dans un cadre informatique.

 

Objectifs

Le cours vise à étudier les techniques principales de construction rigoureuse de programmes et à peaufiner les notions de programmation étudiées au cours INFO B131 "Introduction à la programmation".

Contenu

Après une réflexion sur la crise du logiciel, trois phases sont mises en évidence dans le processus de construction d'un logiciel et sont successivement étudiées: i) l'élaboration de spécifications, ii) les techniques de preuve et de construction d'algorithmes, iii) les techniques de dérivation et de transformation de programmes.