Master Science et Technologie du Logiciel (STL)

Description de la formation

Le Master en Science et Technologie du Logiciel (STL) vise à former des spécialistes en développement logiciel, avec une solide formation en langages de programmation et méthodes algorithmiques. Il est conçu pour les étudiants intéressés par les aspects fondamentaux et technologiques de l’informatique.

Le programme se concentre sur l’apprentissage de méthodes et d’outils rigoureux pour la conception et le développement de logiciels complexes, ainsi que pour la modélisation et l’analyse de problèmes algorithmiques issus de divers domaines d’application.

La filière STL propose une voie de recherche (Recherche en Algorithmique et Programmation) et deux voies professionnelles, dont une traditionnelle (Algorithmique et Programmation pour Ingénieurs) et une par apprentissage, en partenariat avec le CFA INSTA.

Mater 1er année

• ALGAV (Algorithmique Avancée)
• DLP  (Développement de Langages de Progrommation)
• OUV (Ouverture et pré-requis)
• ANG  (Anglais)
• IL (Ingénierie Logicielle)
• LRC (Logique et Représentation des Connaissances )
• NOYAU (Architecture avancée des noyaux des systèmes )
• PSCR (Programmation système concurrente et répartie )
• ARCHI (Architecture des processeurs et optimisations )
• COMPLEX (Complexité, Algorithmes Probabilistes et Approchés )
• MOGPL (Modèlisation, Optimisation, Graphes, et Programmation Linéaire)
• PSTL

• APS (Analyse des Programmes et Sémantique)
• CA (Compilation Avancée)
• CPA (Conception et Pratique d’Algorithmes)
• CPS (Composants)
• PAF (Programmation Avancée en style Fonctionnel)
• PC2R (Programmation Concurrente Réactive et Répartie)

Master 2eme année

• AAGA ( Analyse d’Algorithmes et Génération Aléatoire)
• ALASCA (Architectures Logicielles Avancées pour les Syst&eagrave;mes Cyber-physiques Autonomiques )
• DAAR (Développement des Algorithmes d’Application Réticulaire)
• PPC (Paradigmes de Programmation Concurrente)
• SVP (Spécification et Validation de Programmes)
• TAS (Typage et Analyse Statique)
• TPEA (Techniques Professionnelles – Environnement et Applications)
• GPSTL (Gestion de Projet STL)
• PISTL (Projet d’Ingénierie STL)
• GRAPA (Groupe de Recherche en Algorithmique et en Programmation Avancées)