Master 2 mention Informatique spécialité Programmation et logiciels sûrs

logo Paris13

Master 2 mention Informatique spécialité Programmation et logiciels sûrs

Résumé de la formation

  • Composante:

    Programme

      • Master PLS (60 crédits ECTS)
          • Semestre 3 (30 crédits ECTS)
              • Culture G (4 crédits ECTS)
                  • Innovation
                  • Anglais
              • Les métiers de l'informatique (2 crédits ECTS)
              • Langage environnement (4 crédits ECTS)
              • Traitement Numérique des Données (4 crédits ECTS)
              • Programmation fonctionnelle avancée (3 crédits ECTS)
              • Programmes et preuves (3 crédits ECTS)
              • Réseaux de pétri de haut niveau (3 crédits ECTS)
              • Systeme complexe (3 crédits ECTS)
              • Sureté et sécurite (4 crédits ECTS)
          • Semestre 4 (30 crédits ECTS)
              • Stage (18 crédits ECTS)
              • Choix approfondissement (8 crédits ECTS)

                  2 option(s) au choix parmi 2
                  • Abstraction et raffinement (4 crédits ECTS)
                  • Calculs de processus (4 crédits ECTS)
                  • Programmation, adaptable, Web service (4 crédits ECTS)
                  • Système infinis, temporisés, hybrides et stochastiques (4 crédits ECTS)
              • Choix complémentaire (4 crédits ECTS)

                  1 option(s) au choix parmi 1
                  • Intéraction Homme Machine (4 crédits ECTS)
                  • Environnement de développement libre (4 crédits ECTS)
                  • Flux de données et programmation (4 crédits ECTS)
                  • Grilles et cloud computing (4 crédits ECTS)
                  • UE au choix dans un autre master de l'institut Galilée (4 crédits ECTS)

    En bref

    60 crédits ECTS

    Capacité d'accueil 0