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

Centre Université de Rennes 1
Méthode Présentiel
Lieu Bretagne
type Master
Prix Consulter Prix

Demande d'information

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

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)