Sûreté de la programmation orientée objets

Informatique et TIC

Présentation


Code de l'UE : NFP101
Crédit ects : 6
Nb d'heures de formation : 50


Prérequis :

Avoir une expérience de la programmation (orientée objets ou non) ou avoir le niveau des unités d'enseignement VARI (NFP135 et NFP136).


Objectifs :

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


Compétences visées :

Maîtrise de la liaison tardive, de la surcharge et de la généricité (polymorphisme).
Compréhension du rôle et du fonctionnement du typage.


Contenu


Ce cours est basé sur deux langages de programmation orientée objets, à savoir Java (impératif) et OCaml (fonctionnel). Le cours débute par une initiation pratique de la programmation orientée objets, puis précise la sémantique des concepts utilisés en mettant notamment l'accent sur le rôle du typage. Une dernière partie présente brièvement l'utilisation des objets dans les applications réparties.


Modalité de validation :

Examen sur table (2h)


Programmation

Affiner les résultats par lieu d'enseignement

Bordeaux

Résultat(s) précis [+]

Lieu
d'enseignement
Informations
session 2013/2014
2013
2014
2014
2015
2015
2016
Tous centresCombinaison de séminaires régionaux en présentiel et en journée, de cours accessibles en salle en fonction du lieu, ou en vidéo en direct et en différé, d'activités tutorées sur la plateforme pédagogique.
(Planning à venir)
MJ
1
MJ
1

Tarifs

Tarifs (hors droit de base) :
Séminaires présentiels régionaux en journée, cours en salle ou en vidéo, activités tutorées : 625 € (tarif réduit* : 72 €)


(*) Le tarif réduit s'applique aux formations pour lesquelles vous n'avez pu faire valoir de dispositif(s) de prise en charge (par votre employeur ou par un organisme paritaire collecteur agréé). Dans ce cas, vous y souscrivez à titre individuel et vous bénéficiez de l'aide du Conseil Régional d'Aquitaine.