Sûreté de la programmation

Code UE : USRS22

  • Cours + travaux pratiques
  • 5 crédits

Responsable national

Tristan CROLARD

Responsable opérationnel

Tristan CROLARD

Contenu

Les séances prendront la forme de "leçons" : les concepts seront présentés en cours puis illustrés directement à travers des exemples et des exercices de programmation.
Le langage utilisé pour illustrer ces concepts sera Java, Scala ou un langage moderne équivalent.
L’accent sera mis en particulier sur les avantages du typage statique et de la combinaison des styles de programmation objet et fonctionnels pour garantir des propriétés essentielles de sûreté.
Une application majeure des techniques étudiées sera l’implantation d’algorithmes massivement parallèles dans le style classique Map-Reduce.
Ce cours se termine par une initiation à l’utilisation de méthodes formelles pour aller au-dela du typage et prouver complètement la correction d’un programme objet-fonctionnel.

Cette UE apparaît dans les diplômes et certificats suivants

Chargement du résultat...
Patientez
Type
Intitulé
Equipe pédagogique
Modalité(s) / Lieu(x)
Code
Equipe pédagogique Informatique
Modalité(s) / Lieu(x)
  • - Enseignée en formation présentielle et/ou partiellement à distance : Paris
  • Type Intitulé Equipe pédagogique Modalité(s) / Lieu(x) Code

    Contact

    EPN05 Informatique - CEDRIC
    2 rue Conté 31.1.79
    75003 Paris
    Tel :01 40 27 20 38
    Agathe Froger

    Voir les dates et horaires, les lieux d'enseignement et les modes d'inscription sur les sites internet des centres régionaux qui proposent cette formation

    Enseignement non programmé en 2017/2018