Description

La mention « sciences du logiciel » de la dominante « informatique et numérique » a pour objectif de former des ingénieurs par la maîtrise des concepts scientifiques qui permettent de concevoir des systèmes informatiques fiables répondants aux attentes de leurs utilisateurs et de la société. L'enseignement s'appuie en grande partie sur la pratique et sur la mise en œuvre des concepts étudiés sur des cas concrets.

La mention se déroule sur trois séquences, la première étant commune aux quatre mentions (« intelligence artificielle », « sciences du logiciel », « architecture des systèmes informatiques », et « sécurité ») de la dominante.

Présentation

Une description plus détaillée est disponible sur cette page.

Fiche descriptive de la mention avec liens vers le programme des cours.

Liste des cours propres à la mention

Principes de fonctionnement des ordinateurs
Traitement des langages
Ingénierie des modèles
Analyse statique
Systèmes hybrides
Test
Logique et systèmes déductifs
Génie Logiciel
Sémantique des modèles et des langages
Programmation avancée
Algorithmes et modèles pour les systèmes distribués
Modélisation système

Cours électifs (un seul suivi parmi les quatre) :

Image Mydocker

Une image Docker est disponible pour disposer des outils utilisés en cours dans la mention. Elle est sur DockerHub si vous souhaitez l'exécuter localement sur votre ordinateur. Son source ainsi que des scripts permettant de lancer son exécution sont disponibles sur GitHub

Vous pouvez également l'utiliser avec MyDocker : https://mydocker.centralesupelec.fr/shell/join/wDgNNsTsXKMbjGAqWebc

Ne pas oublier de se déconnecter pour arrêter le conteneur en fin de session :