Sûreté de la programmation orientée objets - NFP101 par CNAM DE BRETAGNE

Lieu(x)

À distance

Durée

Total : 60 heures

En centre : 60 heures

Financement

Demandeur d’emploi

Prix

Nous contacter

Cette formation vous intéresse ?

Description générale

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.

Objectifs

Maîtrise du paradigme fonctionnel
- objet. Compréhension du rôle et du fonctionnement du typage statique.

Secteur(s)

Métier(s)