Master mention informatique parcours logiciels sûrs par Université Paris est Créteil - Upec

Java EE
- Java embarqué/Modèles probabilistes et temporisés
- Middleware et RMI/Modélisation de systèmes embarqués
- Transactions Web et technologies REST/Modélisation en logique du premier ordre
- Programmation C++ - Génie logiciel formel
- Gestion de projets informatiques
- Gouvernance et gestion des risques
- Séquence professionnelle
- Java crypto/Modélisation de systèmes communicants
- Analyse statique et interprétation abstraite
- Méthodologies de test
- Carte à puce/Logiciels de preuve

Le but de la formation est de former des étudiants au développement logiciel en leur inculquant la mise en oeuvre des différents paradigmes de programmation et méthodes de conception pour les systèmes logiciels, réseau et embarqués et de choisir les bonnes méthodologies adaptées au domaine applicatif.
En plus de ces compétences, la formation possède des modules axés sur la modélisation abstraite.
Cette dernière est fondamentale pour choisir la représentation des données dans un système d'information, la spécification des traitements à appliquer aux données ou la spécification des contraintes du logiciel, qui sont nécessaires dans le développement de logiciels sûrs, nécessaire dans les secteurs critiques (transport, avionique, spatial, nucléaire) dans lesquels la France est leader mondial.