Programmation Répartie
La programmation répartie et son interaction avec l’OS (POSIX), en Master 1 Informatique à l’UPMC: Programmation Répartie, PR 4I400.
Page de l’UE sur le site du master
Entre 120 et 140 inscrits. Etudiants de multiples spécialités, spécialité d’appartenance SAR.
- Introduction au C++
- Concurrence (fork, thread)
- Communications inter et intra taches (IPC, mémoire, mutex, conditions…)
- Interactions avec l’OS en POSIX (signaux, file descriptors…)
Responsable de l’UE à partir de 2018, intervenant depuis 2017.
Programmation Orientée Objet en Java
La programmation orientée objet avancée en licence 3 d’Informatique à l’UPMC: Programmation Orientée Objet en Java, POBJ 3I002.
Entre 190 et 210 inscrits.
- Polymorphisme, Interfaces, Contrats
- Collections, Tests, interfaces graphiques
- Design Patterns
Co-responsable de l’UE depuis 2011 (avec O. Sigaud, E. Chailloux, puis actuellement A. Miné), intervenant depuis 2009.
Ingéniérie du Logiciel
Le génie logiciel en Master 1 Informatique à l’UPMC: Ingéniérie du Logiciel, 4I502.
Entre 130 et 150 inscrits, toutes spécialités confondues. Spécialité de rattachement Sciences et Technologies des Langages STL.
- Analyse et Spécification : Modélisation Métier
- Conception Architecturale : Composants, Configurations
- Conception Détaillée et Réalisation : Orienté-Objet, Design Patterns
- Organisation du développement : Pratiques et Principes “Agile”
- Introduction au Model-Driven Engineering : Modèle et Méta-Modèle
Responsable de l’UE depuis 2010, intervenant depuis 2006.
Autres Enseignements, supports
J’ai enseigné dans diverses écoles d’ingénieur (EFREI, ECE, EPSI) et dans des formations professionnelles (Unilog) les sujets suivants :
- Bases de données relationnelles, SQL, PL/SQL, Administration Oracle (niveau M1, EFREI,ECE)
- Génie Logiciel, groupes de projet par équipe de 8, 24 ECTS sur l’année (niveau M1, EFREI)
- Communications Unix, Introduction au Système, Python et Unix : utiliser un système d’exploitation, comprendre ses composantes (niveau L3, ECE, EPSI, L3 UPMC)
- Programmation Orientée Objet : en Java, en C++ (niveaux L3 et M1, EFREI, UPMC)
- UML, modélisation, ingéniérie dirigée par les modèles (niveaux L3 au M2, EFREI, UPMC, PARIS13)
- Vérification formelle : model checking symbolique (niveaux M2 à doctoral +, écoles d’été, keynote, tutoriaux internationaux)
Un certain nombre de supports utilisés au fil du temps sont stockés ici pour archive (un peu en vrac).
