Spécifications formelles, vérification, validation

Vous êtes ici :

Spécifications formelles, vérification, validationCode de l'UE : HMIN203

Présentation

L'objectif de ce module est de fournir des bases théoriques pour le génie logiciel : spécifications formelles, techniques de vérification, fondements du test de logiciels.

Volume horaire

  • CM : 15
  • TD : 15
  • TP : 15
Diplômes intégrant cette UE

En bref

Crédits ECTS 5

Période de l'année
secondSemestre