Table des matières - Pequan - LIP6

Masters
pédagogique dite par projets, les enseignements dispensés dans cette UE seront intégrés à la réalisation du projet,
en réponse aux besoins suscités par ce dernier.
Nom : Paradigmes de Programmation Concurrente
Acronyme : PPC
Porteur : C. Agon
Descriptif :
Ce cours présente les concepts avancés de programmation concurrente. Tout d'abord on étudie le grain fin par le
modèle mémoire (structures de données sans attente, STM, etc.). Ensuite on aborde les paradigmes de plus haut
niveau d'abstraction. On s'intéresse notamment aux modèles synchrones (réactif, dataflow, GALS, etc), aux modèles
communicants (passage de messages, acteurs, etc.) ainsi qu'au data-parallélisme fonctionnel.
Nom : Spécification et Validation de Programmes
Acronyme : SVP
Porteur : P. Manoury
Descriptif :
Ce cours aborde le thème de la spécification et vérification des programmes sous l'angle de l'utilisation de théories
et de langages logiques tels la théorie des ensembles et la logique d'ordre supérieur. Les spécifications sont données
comme des formules logiques; les vérifications sont des preuves que les formules de la spécification sont satisfaites
par un programme donné ou un programme à construire. Pour conduire ces preuves, nous nous appuierons sur les
systèmes d'aide à la preuve tels PVS, Coq, Isabelle/HOL ou autre.
Nom : Typage et Analyse Statique
Acronyme : TAS
Porteur : E. Chailloux
Descriptif :
Ce cours présente dans le cadre de typage statique les différentes classes de polymorphisme des langages de
programmation : paramétrique, objet, ad hoc, de rangées, borné, et leurs utilisations pour la conception de
bibliothèques réutilisables. Il présente ensuite d'autres analyses statiques (systèmes de types étendus, systèmes
d'effet, interprétation abstraite) pour vérifier des propriétés d'exécution des programmes.
Nom : Techniques Professionnelles – Environnement de Développement
Acronyme : TPDEV
Porteur : P. Trébuchet
Descriptif :
Ce cours présente les différents aspects d’un développement logiciel en s’appuyant sur des environnements de
développement et des environnements collaboratifs issus du monde du logiciel libre. Il s’agit de montrer comment, à
travers l’utilisation de ces outils, doit se mener la conduite et la réalisation d’un projet industriel. Les outils
supports de cet enseignement seront des outils de modélisation, des environnements de développement (Eclipse,
Netbeans, etc.), des outils collaboratifs et de déploiement (Ant, Maven, Subversion, Tomcat, Jboss, etc.) ; le tout
étant encadré par l’utilisation d’une méthodologie.
Nom : Techniques Professionnelles – Environnement de gestion de projets
Acronyme : TPGP
Porteur : T. Lieu
Descriptif :
Ce cours aborde l’utilisation d’outils propriétaires au cours du cycle de vie d’un projet. Il vise à présenter différents
outils propriétaires, issus des principaux outils du marché (Microsoft Visual studio, IBM RSA, etc.). Ces présentations
se feront autour d’intervention de professionnels et seront mis en œuvre à travers des réalisations.
M2S4
Nom : Stage de fin d’études
Acronyme : Stage
Descriptif :
Le stage de fin d’études s’étend sur tout le second semestre et peut s’effectuer dans un laboratoire de recherche ou
dans une entreprise.
Vague D : campagne d’évaluation 2012-2013 Février 2012
50