Méthodes de conception de programmes

5.00 crédits

30.0 h + 30.0 h

> Horaire

Enseignants

Pecheur Charles;

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

Contenu

Spécification de programmes
Preuve de programmes simples : calcul wp
Récurrence et Induction
Preuves de programmes : méthode des assertions inductives
Procédures et récursion
Structures de données
Décomposition en sous-problèmes
Preuves automatiques de programmes
Programmation orientée objets : patrons de conception

Méthodes d'enseignement

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

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

> INFO

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

Intitulé du programme

Sigle

Crédits

Prérequis

Acquis
d'apprentissage

Approfondissement en sciences informatiques

APPSINF

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

BIRC2M