ECTS
3
Volume horaire
60h
Établissement
INSTITUT NATIONAL DES SCIENCES APPLIQUEES TOULOUSE
Description
- Génie du Logiciel et des Systèmes
o Processus, Méthodes et Outils
o Méthodes Agiles
o Vérification et Validation
o Certification et Qualification
o Sûreté de fonctionnement
o Développement Dirigé par les Tests
o Développement Dirigé par les Modèles
- Modélisation, Résolution, Preuve
o Logique des propositions et des prédicats
o Termes et Induction structurelle
o Logique de Hoare
o Preuves de programme
o Logique modale
o Logique floue et probabiliste
o Programmation Logique Contrainte
o Résolution SAT/SMT