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

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

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)