Ferme la recherche

Sûreté de la programmation orientée objets

Descriptif

Session

du 01 févr. 2020 au 30 juin 2020  - Angoulême (16)
+ autres sessions
du 01 févr. 2020 au 30 juin 2020  - Angoulême (16)
du 01 févr. 2020 au 30 juin 2020  - Brive la Gaillarde (19)
du 01 févr. 2020 au 30 juin 2020  - Talence (33)
du 01 févr. 2020 au 30 juin 2020  - Anglet (64)
du 01 févr. 2020 au 30 juin 2020  - Guéret (23)
du 01 févr. 2020 au 30 juin 2020  - Limoges (87)
du 01 févr. 2020 au 30 juin 2020  - La Rochelle (17)
du 01 févr. 2020 au 30 juin 2020  - Niort (79)
du 01 févr. 2020 au 30 juin 2020  - Pau (64)
du 01 févr. 2020 au 30 juin 2020  - Chasseneuil du Poitou (86)

Objectif de la formation

L'objectif de ce cours est d'étudier les mécanismes des langages orientés objets (encapsulation, héritage, redéfinition, liaison tardive, ...) lorsqu'ils sont sont combinés avec le style de la programmation fonctionnelle. L'accent est mis sur la sûreté de l'exécution et en particulier, sur ce que doit apporter le typage statique pour assurer la correction de l'exécution.

Description de la formation

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.

Conditions d'accès

Aucunes conditions

Donne accès au(x) métier(s) suivant(s)

Etudes et developpement informatique (voir la fiche métier)

Et après la formation ?

Retour à l'emploi des anciens stagiaires

CORRECT

Conseils
Les questions à poser avant de choisir un centre de formation
  • Quels sont les profils des anciens stagiaires (niveau de formation, expérience professionnelle) ?
  • Est-il possible de visiter le centre ?
  • Quel type de public accueillez-vous en formation (salariés, demandeurs d’emploi, particuliers) ?
  • Peut-on obtenir une liste de ces anciens stagiaires pour les interroger sur cette formation ?
  • Comment aidez-vous les stagiaires à trouver un emploi ?
Informations pratiques

AGCNAM NOUVELLE AQUITAINE

Lieu de formation

Centre d'Angoulême
Angoulême

Cliquez sur ce lien pour calculer votre itinéraire

Centre de formation

Université de Bordeaux - 6ème ét 351 Cours de la L
33400, Talence

Voir toutes les formations de AGCNAM NOUVELLE AQUITAINE