Responsable : Frédéric Boulanger
Liste de diffusion : infonum.sl.2025@listes.centralesupelec.fr
Planning de la mention
Présentation de la mention (PDF)
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
Cours électifs (un seul suivi parmi les quatre)~:
- Programmation quantique pour le machine learning
- Développement de systèmes critiques avec la méthode B
- SCADE et le synchrone pour les systèmes critiques
- Spécification et test de systèmes temps-réel
Image Mydocker
Une image Docker est disponible pour disposer des outils utilisés en cours dans la mention.
Vous pouvez l'utiliser avec MyDocker : https://mydocker.centralesupelec.fr/shell/join/iNglEKxzgixJgkrLvijC
Ne pas oublier de se déconnecter pour arrêter le conteneur en fin de session : 
Elle est également disponible sur GitHub et l'image est sur DockerHub si vous souhaitez l'exécuter localement sur votre ordinateur.