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)
