Syllabus ENSEIRB

Semestres, Unités de Valeurs :

Semestre 5
I5-A Algorithmique 1
I5-B Pratique et fondements de l'informatique
I5-C Architecture matérielle et logicielle des calculateurs
I5-D Méthodes statistiques
I5-E Projet d'algorithmique et de programmation
I5-F Langues et culture de l'ingénieur

Semestre 6
I6-A Algorithmique 2
I6-B Programmation fonctionnelle, logique et preuve
I6-C Programmation avancée
I6-D Algorithme numérique
I6-E Projet d'algorithmique et de programmation
I6-F Langues et culture de l'ingénieur

Semestre 7
I7-A Langages de programmation
I7-B Système et Réseau
I7-C Bases de données et technologie WEB
I7-D Conception logiciel
I7-F Langues et culture de l'ingénieur

Semestre 7ESSV
European Studies in Software Verification I7ESSV-A Automates avancés et applications
I7ESSV-B Logique
I7ESSV-C Conception formelle
I7ESSV-D Séminaire de recherche
I7ESSV-E Projet de recherche et programmation

Semestre 8
I8-A Protocoles
I8-B Systèmes et applications
I8-C UE personnalisée
I8-D Projet de génie logiciel
I8-E Langues et culture de l'ingénieur
I8-G UE personnalisée: choix 1 avec TOEIC. LC206 + 2 modules de EX205

I8-H UE personnalisée: choix 2 avec TOEIC. LC206 + 1 module in EX205 + 1 module in EX206
I8-I UE personnalisée: choix 3 sans TOEIC. 2 modules de EX205
I8-J UE Personnalisée: choix 4 sans TOEIC. 1 module de EX205 + 2 modules de EX206

Semestre 8ESSV
European Studies in Software Verification I8ESSV-A Semestre Avancé 1 - mobilité
I8ESSV-B Mobilité: Université Libre de Bruxelles
I8ESSV-C Mobilité: Technische Universität München
I8ESSV-D Mobilité: Universiteit Twente

Semestre 9
I9-A Culture de l'ingénieur

Semestre 9EM
E-Management I9EM-A Managements des projets innovants
I9EM-B Transfert technologique
I9EM-C Marketing des activités de services
I9EM-D Finances

Semestre 9ESSV
European Studies in Software Verification I9ESSV-A Techniques de modélisation
I9ESSV-B Vérification logicielle
I9ESSV-C Jeux, synthèse de contrôleurs
I9ESSV-E Projet d'étude et de recherche
I9ESSV-F Types et preuves

Semestre 9GL
Génie Logiciel I9-A Culture de l'ingénieur
I9GL-A Méthodologie
I9GL-B Vérification et Validation
I9GL-C Modélisation
I9GL-D Architecture distribuée
I9GL-E Personnalisation

Semestre 9IREF
Ingénierie du Risque Economique et Financier C9IREF-A Finance stochastique
C9IREF-B Outils et langages
C9IREF-C Outils et statistiques
C9IREF-D Environnement financier
C9IREF-E Finance de marché
C9IREF-F Culture de l'ingénieur

Semestre 9PRCD
Parallélisme, Régulation et Calcul Distribué I9-A Culture de l'ingénieur
I9PRCD-A Langages et supports d'exécution
I9PRCD-B Architectures, systèmes et communications
I9PRCD-C Algorithmique et ordonnancement
I9PRCD-D Algorithmique et applications
I9PRCD-E Personnalisation

Semestre 9ROBOT
Robotique et apprentissage I9ROBOT-A Modélisation et commande de systèmes robotiques
I9ROBOT-B Architecture des systèmes robotiques
I9ROBOT-C Robotique avancée
I9ROBOT-D Outils d'imagerie pour la robotique
I9ROBOT-E Interactions homme-robot et systèmes multi-agents

Semestre 9RSR
Réseaux et Systèmes Répartis I9-A Culture de l'ingénieur
I9RSR-A Réseaux de communication
I9RSR-B Objets et systèmes répartis
I9RSR-C Sécurité et administration des réseaux
I9RSR-D Outils d'administration des réseaux
I9RSR-E Personnalisation

Semestre 9TM
Technologies Multimédia C9TM-A Traitement et codage des données multimédia
C9TM-B Analyse et indexation de données multimédia
C9TM-C UV à choix : ASSM ou TIM
C9TM-D UV à choix : SIRV ou TIM
C9TM-E Projet avancé et développement logiciel
C9TM-F Culture de l'ingénieur

C9TM-G Synthèse d'images et Réalité Virtuelle (SIRV)
C9TM-H Traitement informaque de la Musique (TIM)
C9TM-I Analyse et Synthèse du Son Musical (ASSM)