Responsable : Frédéric Boulanger

Liste de diffusion : infonum.sl.2024@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/NETAxttHwoJLabzaLNdF

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.