Master mention informatique spécialité logiciel et méthodes formelles - Bretagne - Université de Rennes 1 - I4040

Home>Master>Informatique>Bretagne>Master mention informatique spécialité logiciel et méthodes formelles - Bretagne
 
Master mention informatique spécialité logiciel et méthodes formelles
Méthode: Présentiel
Lieu:
Type: Master
Liens sponsorisés
Loading...

Contactez directement et sans engagement
Université de Rennes 1

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

Prénom
Nom
E-Mail
Téléphone
Région
Téléphone portable
Commentaires / Questions
Pour envoyer, vous devez accepter la politique de confidentialité
* Champs Obligatoires

Bientôt un responsable de Université de Rennes 1, se mettra en contact avec vous pour vous informer.
S’il vous plaît, remplissez correctement les champs
Master mention informatique spécialité logiciel et méthodes formelles - Bretagne 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)
Autre formation en rapport avec Master de Informatique:
Nouvelle Recherche
Chercher