Cours 2017-2018

Techniques de programmation [INFOB233]

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

Acquis d'apprentissage

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

Objectifs

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

Contenu

(i) La crise du logiciel, (ii) la notion de spécification, (iii) algorithme: techniques de preuves, heuristiques de construction (iv) programmes: tests et langage C


Méthodes d'enseignement

Le cours fait l'objet d'un cours théorique illustré par des séances de travaux pratiques. Il est complété par la réalistation de programmes lors des séances de travaux pratiques. Deux interrogations au cours du semestre permettent à l'étudiant de tester sa connaissance de la matière.

Mode d'évaluation

Sur base de l'examen écrit. Ce dernier comporte des questions de connaissances, de compréhension ainsi que de construction de programmes.

Sources, références et supports éventuels

K. Apt, F. de Boer, E.-R. Olderog, Verification of Sequential and Concurrent Programs, Springer, 2009. R.C. Backhouse. Program Construction and Verification. Prentice-Hall, International Series in Computer Science, 1986. D. Gries. The Science of Programming. Springer-Verlag, 1987.

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