DES RESSOURCES ET DES OUTILS AU SERVICE DES ACTEURS ET DES PROFESSIONNELS. |
Master 2 Informatique Parcours Vérification LogicielleDate de mise à jour : 19/07/2023
| Identifiant OffreInfo : 02_201802032764 |
Cap Métiers Nouvelle-Aquitaine |
Le parcours Vérification Logicielle porte en particulier sur l'utilisation des méthodes formelles dans l'analyse et la vérification du logiciel. Les méthodes formelles sont adoptées de plus en plus dans le contexte industriel, où la fiabilité et la sûreté de programmes devient un critère de qualité essentiel. Les méthodes formelles demandent une formation spécialisée, qui doit se situer à la pointe de la recherche. Ce parcours peut mener à une insertion soit en tant que chef de projet dans une entreprise qui développe du logiciel de haute qualité, soit dans la recherche.
https://www.u-bordeaux.fr/formation/2017/PRMA_68/informatique
Certifiante
Bac + 5 et plus
Conventionnement : Non
Autre
Niveau d'entrée : Bac + 3 et 4
Bac+4 dans le secteur d'activité Sur dossier pour autres diplômes et VAE / VAP