Code
IGSF CSC 4204
Level
M1
Graduate
Graduate
Semester
Fall
Domain
Informatique
Program
Programme Ingénieur
Language
Français/French
ECTS Credits
2,5
Class hours
25
Workload
10
Program Manager(s)
Department
- Informatique
Organisation
Cours/TD/TP/projet/examen : COURS/TD/TP/ProjetLearning objectives
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.
Prerequisites
Aucun
Assessment formula
Projet
Pedagogical methods
Cours magistraux et travaux dirigés, travaux pratiques sur ordinateurs