Choix 2

Organisation

Choix 1
1 option(s) au choix parmi 1

• Administration et développement de systèmes pour les centres (2.5 crédits)
• Architecture orientée services
• Preuve formelle mécanisée (2.5 crédits)
• Sémantique des langages de programmation (2.5 crédits)
• Projet vérification de programmes (2.5 crédits)
• Cloud computing (2.5 crédits)
• Méthodes de tests pour les systèmes complexes (2.5 crédits)
• Qualité de service dans les réseaux (2.5 crédits)
• Programmation parallèle pour le calcul à haute performance (2.5 crédits)
• Software Defined Networks (2.5 crédits)
• Indexation et recherche d'information
• Analyse statique de programmes (2.5 crédits)

Diplômes intégrant cette UE

• Informatique