Code
IGSF CSC 4204
Niveau
M1
Graduate
Graduate
Semestre
Fall
Domaine
Informatique
Programme
Programme Ingénieur
Langue
Français/French
Crédits ECTS
2,5
Heures programmées
25
Charge de travail
10
Coordonnateur(s)
Département
- Informatique
Organisation
Cours/TD/TP/projet/examen : COURS/TD/TP/ProjetAcquis d'apprentissage
L'objectif de ce cours est d'introduire les étudiants à une démarche formelle de développent de logiciels sûrs par la preuve. A la fin du module, les étudiants doivent faire la différence entre la programmation d'un logiciel et sa spécification.
Prérequis
Aucun
Formule de l'évaluation
Projet
Approches pédagogiques
Cours magistraux et travaux dirigés, travaux pratiques sur ordinateurs