Cours 2019-2020

Techniques de programmation [INFOB233]

  • 5 crédits
  • 22.5h+22.5h
  • 1er quadrimestre
Langue d'enseignement: Français
Enseignant: Jacquet Jean-Marie

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 de mécanismes de programmation avancé
  • de concevoir une architecture logicielle, basé 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.

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.


Méthodes d'enseignement

Le cours fait l'objet d'un enseignement ex-cathedra aux cours théoriques où se mêlent l'étude de concepts et leur application à de petits exemples. Des séances de travaux pratiques permettent à l'étudiant d'approfondir les concepts sur de nouveaux exemples et de les appliquer dans des cas d'étude de plus grande ampleur.

Mode d'évaluation

L'évaluation des étudiants repose sur la réalisation de travaux durant le semestre ainsi que sur un examen écrit. La réussite de l'étudiant est conditionnée à la réussite de ces deux parties : réussite des travaux et réussite de l'examen écrit.

 

Langue d'enseignement

Français

Lieu de l'activité

NAMUR

Faculté organisatrice

Faculté d'informatique
rue Grandgagnage 21
5000 NAMUR
T. 081725252
F. 081724967
secretariat.info@unamur.be

Cycle

Etudes de 1er cycle