Méthodes de conception de programmes

linfo1122  2020-2021  Louvain-la-Neuve

Méthodes de conception de programmes
En raison de la crise du COVID-19, les informations ci-dessous sont susceptibles d’être modifiées, notamment celles qui concernent le mode d’enseignement (en présentiel, en distanciel ou sous un format comodal ou hybride).
5 crédits
30.0 h + 30.0 h
Q1
Enseignants
Langue
d'enseignement
Français
Préalables
Ce cours suppose acquises les compétences en programmation, algorithmique et structures de données visées par le cours LEPL1402 et les concepts de logiques visés par le cours LINFO1114.
Thèmes abordés
  • Spécification de programmes simples, avec procédures et avec structures de données
  • Logique et récurrence
  • Preuve de programmes simples, avec procédures et avec structures de données
  • Techniques de conception d'algorithmes
  • Patrons de programmation
Acquis
d'apprentissage

A la fin de cette unité d’enseignement, l’étudiant est capable de :

1
Eu égard au référentiel AA du programme « Bachelier en sciences informatiques », ce cours contribue au développement, à l'acquisition et à l'évaluation des acquis d'apprentissage suivants :
  • S1.I5
  • S2.2-3
Les étudiants ayant suivi avec fruit ce cours seront capables de
  • imaginer un algorithme correct et efficace pour résoudre un problème donné
  • créer et spécifier la conception d'un produit logiciel à l'aide d'une méthodologie de conception des programmes et de notations appropriées
  • démontrer l'exactitude d'algorithmes simples
  • utiliser une approche rigoureuse pour assurer l'exactitude du résultat, en utilisant des outils mathématiques
 

La contribution de cette UE au développement et à la maîtrise des compétences et acquis du (des) programme(s) est accessible à la fin de cette fiche, dans la partie « Programmes/formations proposant cette unité d’enseignement (UE) ».
Contenu
  • Spécification de programmes
  • Preuve de programmes simples : calcul wp
  • Récurrence et Induction
  • Preuves de programmes : méthode des assertions inductives
  • Procédures et récursion
  • Structures de données
  • Décomposition en sous-problèmes
  • Preuves automatiques de programmes
  • Programmation orientée objets : patrons de conception
Méthodes d'enseignement

En raison de la crise du COVID-19, les informations de cette rubrique sont particulièrement susceptibles d’être modifiées.

Le cours comporte :
  • des cours magistraux chaque semaine,
  • des séances d'exercices pour appliquer les notions vues au cours dans des situations simples,
  • des projets pour mettre en pratique les techniques lors de la conception d'une application plus large.
Selon les circonstances, tout ou partie des cours et des exercices pourraient être diffusés et enregistrés pour pouvoir être suivis à distance.
Modes d'évaluation
des acquis des étudiants

En raison de la crise du COVID-19, les informations de cette rubrique sont particulièrement susceptibles d’être modifiées.

L'évaluation porte sur les travaux faits durant le quadrimestre (25%) et sur un examen écrit en session (75%).  Les travaux ne peuvent pas être représentés en seconde session ; en septembre, la note finale sera composée uniquement de l'examen (100%).  Suivant les circonstances, l'examen peut être organisé en distanciel.
Ressources
en ligne
Toutes les ressources sont disponibles sur le site Moodle du cours.
Faculté ou entité
en charge


Programmes / formations proposant cette unité d'enseignement (UE)

Intitulé du programme
Sigle
Crédits
Prérequis
Acquis
d'apprentissage
Approfondissement en sciences informatiques

Master [120] : bioingénieur en chimie et bioindustries