Cours et Masters
15 Master de Informatique Information Bretagne
Publiez vos formations


Région: Masters et Formations France - Masters et Formations Bretagne
Type de formation: Master France - Master Bretagne
Catégorie: Master Informatique Information France - Master Informatique Information Bretagne - Master mention informatique spécialité logiciel et méthodes formelles - Bretagne
Université de Rennes 1Master mention informatique spécialité logiciel et méthodes formelles - Bretagne
Facebook
Digg
del.icio.us
Google
Partager le page
Master mention informatique spécialité logiciel et méthodes formelles - Bretagne
Université de Rennes 1
Contactez directement et sans engagement
Université de Rennes 1
Master Master mention informatique spécialité logiciel et méthodes formelles - Bretagne
Prénom:*
 Nom:*
E-Mail:*
Indicatif du Pays:
 Indicatif de la Cité:
 Téléphone:*
Région:*
 Cellulaire:
Commentaires / Questions:
Je souhaite recevoir des informations sur mon e-mail gratuitement.
Bientôt un responsable de Université de Rennes 1 , se mettra en contact avec vous pour vous informer.
Sélectionner cette option signifie que vous acceptez les règles d’Educaedu et notre politique de protection des données
Commentaire sur Master mention informatique spécialité logiciel et méthodes formelles - Bretagne.
  • Diplôme:

    Master mention informatique spécialité logiciel et méthodes formelles

  • Contenu:

    Master M2 mention informatique spécialité logiciel et méthodes formelles (rentrée 2007)
    découpage par semestre

    Semestre 3

    Liste des UE :

     UE - Tronc commun M2 INformatique - Recherche ( crédits)
     ADM - Analyse des données et modélisation stochastiques (4 crédits)
     ASR - Intro. à l'algorithm. des applications & des syt répar (4 crédits)
     OPT - Optimisation numérique et combinatoire (4 crédits)
     META - Conférences ( crédits)
     RAS - Rédaction d'articles scientifiques ( crédits)
     PEDR - Planification et dimensionnement des réseaux (4 crédits)
     MMPFPS-Modèles,method. et plate-forme pour systè. distribués (4 crédits)
     COLQ - Colloque (2 crédits)
     ARLO - Architecture logicielle (4 crédits)
     COCO - Composants et contrats (4 crédits)
     CODIS - Déploiement et support de composants distribués (4 crédits)
     EDOC-Quelques aspects d'ingénierie du document électronique (4 crédits)
     MFAL - Méthodes formelles pour les architectures logicielles (4 crédits)
     MB - Methodes formelles du génie logiciel (4 crédits)
     MMPFPS-Modèles,method. et plate-forme pour systè. distribués (4 crédits)
     MSIM-Mod.métho.pour simulationet vérif. systèmes distribués (4 crédits)
     MVSE - Modèles et validation des systèmes embarqués (4 crédits)
     LVESER-Language, vérification , environn. pour systèmes robo (4 crédits)
     MERV - Modèles,environn. pour réalité virtuelle distribués (4 crédits)
     MAC - Modèles et apprentissage des comportements (4 crédits)
     IB - Informatique et biologie (4 crédits)

    Semestre 4

    Liste des UE :

    * BIBL - Bibliographie (6 crédits)

    Semestre 3

    Liste des UE :

     UE - Tronc commun M2 INformatique - Recherche ( crédits)
     ADM - Analyse des données et modélisation stochastiques (4 crédits)
     ASR - Intro. à l'algorithm. des applications & des syt répar (4 crédits)
     OPT - Optimisation numérique et combinatoire (4 crédits)
     META - Conférences ( crédits)
     RAS - Rédaction d'articles scientifiques ( crédits)
     PEDR - Planification et dimensionnement des réseaux (4 crédits)
     MMPFPS-Modèles,method. et plate-forme pour systè. distribués (4 crédits)
     COLQ - Colloque (2 crédits)
     ARLO - Architecture logicielle (4 crédits)
     COCO - Composants et contrats (4 crédits)
     CODIS - Déploiement et support de composants distribués (4 crédits)
     EDOC-Quelques aspects d'ingénierie du document électronique (4 crédits)
     MFAL - Méthodes formelles pour les architectures logicielles (4 crédits)
     MB - Methodes formelles du génie logiciel (4 crédits)
     MMPFPS-Modèles,method. et plate-forme pour systè. distribués (4 crédits)
     MSIM-Mod.métho.pour simulationet vérif. systèmes distribués (4 crédits)
     MVSE - Modèles et validation des systèmes embarqués (4 crédits)
     LVESER-Language, vérification , environn. pour systèmes robo (4 crédits)
     MERV - Modèles,environn. pour réalité virtuelle distribués (4 crédits)
     MAC - Modèles et apprentissage des comportements (4 crédits)
     IB - Informatique et biologie (4 crédits)

    Semestre 4

    Liste des UE :

     BIBL - Bibliographie (6 crédits)