Systèmes et logiciels

Dans cette spécialité, le mot « système » désigne aussi bien les systèmes d'exploitation que les systèmes parallèles et répartis, les systèmes embarqués ou critiques, les systèmes de gestion de bases de données, les grands systèmes logiciels... Dans le domaine du logiciel, la spécialité concerne le génie logiciel, les bases de données, les langages et leur compilation, la validation des programmes.

Les enseignements sont structurés en quatre parcours :

• LBD : logiciels et bases de données
• SAP : systèmes et applications parallèles et répartis, réseaux et multimédia
• VSC : modélisation et validation de systèmes critiques
• FTI : fondements et théories de l'informatique

Un cours prérequis est un cours dont le contenu est supposé connu à l'entrée de la filière. Néanmoins, il est tout à fait possible d'aller dans une filière sans avoir suivi les cours prérequis : il faudra alors rattraper par soi-même les contenus de ces cours.

Cours prérequis	Cours recommandés
	Algorithmique 2 Compilation et langages 2 Architecture : amélioration des performances Conception de systèmes d'exploitation Réseaux Analyse, conception et validation de logiciels Au cœur des SGBD relationnel-objet Méthodes formelles pour le logiciel Logique et mécanisation de l'inférence