Parcours Systèmes Logiciels S7

Voir la page complète

Un semestre de 12 séances interactives et hebdomadaires. Développement des compétences en communication professionnelle en anglais, incluant l’interaction orale, la rédaction de documents professionnels, la compréhension de supports authentiques, ainsi que l’autonomie, l’esprit critique et les compétences interculturelles. L’évaluation comprend des épreuves orales, individuelles et collectives, visant à apprécier la capacité des étudiants à argumenter, débattre et interagir en anglais de manière claire et pertinente. Elle repose également sur une évaluation écrite individuelle permettant de mesurer la structuration de la pensée, la cohérence de l’argumentation et la qualité de l’expression écrite.

Voir la page complète

Un semestre de 12 séances interactives et hebdomadaires. Développement des compétences en communication professionnelle, incluant l’interaction orale, la rédaction de documents professionnels, la compréhension de supports authentiques, ainsi que l’autonomie, l’esprit critique et les compétences interculturelles. Évaluation par niveau, basée sur des productions écrites, des prestations orales individuelles ou en groupe, et une évaluation continue de l’attitude et de la participation en classe.

Voir la page complète

Voir la page complète

Voir la page complète

Voir la page complète

Voir la page complète

Voir la page complète

Voir la page complète

Pour une EPS inclusive, adaptée et motivante, l'étudiant pourra

-choisir les activités supports parmi une vingtaine, dans des modes de pratiques variées : développement personnel, activité de découverte, activité projet,  activité artistique, activités compétitives, 

-renforcer les compétences psychosociales, en multipliant les situations collectives et d'interactions sociales (coopération, intelligence collective, s'engager dans différents rôles sociaux)

-se tester et se responsabiliser au regard de son "Score santé" personnel

-apprendre en situation expérientielle.

Voir la page complète

Voir la page complète

L’enseignement s’organise sur un semestre de 12 séances hebdomadaires, structuré en deux modules — PPP Research et PPP Interview — dédiés à l’exploration des parcours professionnels et à l’approfondissement du projet professionnel personnel. Il est complété par une journée internationale consacrée à la découverte des opportunités de mobilité académique et professionnelle, ainsi que par des conférences métiers animées par des professionnels et partenaires industriels.

L’évaluation repose sur le développement d’un e-portfolio individuel et sur une présentation orale individuelle du projet professionnel devant un jury composé d’enseignants-chercheurs, d’experts en ressources humaines et de partenaires industriels.

Voir la page complète

Voir la page complète

Présentation des notions, principes et mécanismes de base en programmation concurrente et intergiciels. Plus précisément :

* modélisation et conception de systèmes parallèles

* raisonnement et évaluation sur les applications concurrentes

* patrons de conception et de synchronisation essentiels

* pratique de la programmation concurrente à gros grain

* comprendre et connaître les modèles d'interaction répartie

* conception et programmation d'applications selon le modèle des objets répartis

Voir la page complète

• modélisation et conception de systèmes parallèles
• raisonnement et évaluation sur les applications concurrentes
• patrons de conception et de synchronisation essentiels
• pratique de la programmation concurrente à gros grain

Voir la page complète

- l'interface socket
- le modèle client-serveur et les outils d'appel à distance (RPC, RMI, web services)
- les intergiciels à messages (JMS)
- intégration d'applications : les ESB

Voir la page complète

Le projet est centré sur la réalisation d'une plateforme permettant de gérer des applications concurrentes opérant sur des données partagées, dans un environnement centralisé, puis réparti.

Il s'agira de développer la plateforme proprement dite, puis de l'évaluer à travers le développement d'un panel d'applications utilisant cette plateforme.

La plateforme demandée reprend, de manière simplifiée, les fonctionnalités de logiciels standard du domaine. Par exemple, les dernières éditions du projet reprennent l'architecture de la plateforme Hadoop.

Voir la page complète

Voir la page complète

Étude théorique et pratique de :

• Automates finis
• Automates à pile
• Techniques d'analyse d'informations structurée
• Analyse descendante récursive
• Générateurs d'analyseurs lexicaux et syntaxiques

Voir la page complète

Chapitre 1 : Définitions et concepts de base

Chapitre 2 : Connexité dans les graphes

Chapitre 3 : Graphes eulériens, graphes hamiltoniens

Chapitre 4 : Parcours de graphe

Chapitre 5 : Planarité et coloration de graphes

Chapitre 6 : Flots sur les réseaux

Chaque chapitre sera étudié en groupe de TD où seront alternés le cours et les exercices.

Voir la page complète

Voir la page complète

Cette matière présente les concepts de l'Ingénierie Dirigée par les Modèles en s'appuyant sur les technologies de l'écosystème Eclipse et de son projet EMF (Eclipse Modeling Framework) :

* Définition de métamodèles avec Ecore et de modèles conformes
* Sémantique statique avec OCL
* Syntaxes concrètes textuelles avec Xtext
* Syntaxes concrètes graphiques avec Sirius (visualisation de modèles et
  définition d'éditeurs graphiques)
* Transformation de modèle à texte à Acceleo
* Transformation de modèle à modèle avec ATL mais aussi EMF/Java

Le cas d'étude qui sert de fil rouge aux Travaux Pratiques de cette matière consiste à déterminer la terminaison de processus en les  transformant en réseaux de Petri pour utiliser les outils de vérification formelle associés.  Il constitue ainsi aussi une introduction aux méthodes
formelles et à la logique temporelle.

Deux projets permettent de valider la compréhension des concepts et la bonne utilisation des différents outils.

Voir la page complète

Cette matière présente les patrons de conception (la construction du patron Visiteur est réalisée en Travaux Dirigés), l'introspection, les annotations utilisées à la compilation et à l'exécution et les techniques de tests.

Les Travaux Pratiques permettent en particulier de réécrire le *framework* de test unitaire JUnit en s'appuyant sur l'introspection (équivalent de JUnit3) ou les annotations (équivalent de JUnit4).  L'utilisation à la compilation est montrée en définissant une annotation *@utility* qui permet de vérifier qu'une classe est utilitaire à l'image de la classe java.lang.Math de Java.

La partie « Tests » présente les notions de tests fonctionnels et tests structurels, le graphe de contrôle, les mesures de couvertures de test. En TP, des outils de couverture de test, de définition de doublures (mocking) et d'injections d'erreur (PITest) pour évaluer les programmes de test sont utilisés.

Voir la page complète

Les étudiants auront l’opportunité de se familiariser en profondeur avec l’ensemble des résultats présentés dans le cadre de séances de travaux dirigés, dans lesquels se- ront abordées les questions de modélisation ainsi que les conditions d’optimalité sur la base de problèmes d’optimisation pratiques variés. Un volume conséquent de tra- vaux pratiques permettra en outre aux étudiants de mettre en oeuvre des méthodes numériques (Newton, Gauss-Newton) et de les tester pour le traitement de pro- blèmes de moindres carrés non linéaires, ainsi que sur des problèmes d’optimisation plus généraux avec contraintes.
Les bases de données usent volontiers de modèles (entité association, relationnel) et de langages (calcul et algèbre relationnels, SQL) simplistes. Cela n’y rend pas si aisée la représentation d’un univers plus complexe ; mais permet de mettre en valeur les problèmes liés au stockage informatique de fichiers (cohérence, confidentialité, etc, et surtout redondance) via la théorie de la normalisation : dépendances fonc- tionnelles et multi-valuées, forme normale de Boyce-Codd, troisième et quatrième forme normale. . .Essentiellement théorique, cette étude se conclura, en travaux pra tiques,par une brève présentation des principaux outils de technique des fichiers : tables de hachage et index.

Voir la page complète

A la suite des résultats du cours de première année, qui donnaient les conditions nécessaires/suffisantes caractérisant les solutions des problèmes d’optimisation sans contraintes, nous développons les conditions de Karush-Kuhn-Tucker-Lagrange relatives à la caractérisation des optima d'une fonction sous contraintes. Ces résultats théoriques sont basés sur des concepts géométriques particuliers, tels que le cône des directions admissibles en un point du domaine des contraintes. Nous analyserons ces aspects géométriques en détail dans la construction de ces résultats mathématiques.

Pour ce qui est des méthodes numériques pour l’optimisation, nous détaillerons deux types d'algorithmes, l'un pour des problèmes sans contraintes, et l'autre avec contraintes. Dans les deux cas, nous étudierons la convergence de ces algorithmes et nous nous intéresserons à certains aspects pratiques tels que le choix de critères d'arrêt pertinents, la mise à l'échelle des variables du problème …

Les étudiants auront l'opportunité de se familiariser en profondeur avec l'ensemble des résultats présentés dans le cadre de séances de travaux dirigés, dans lesquels seront abordées les questions de modélisation ainsi que les conditions d'optimalité sur la base de problèmes d'optimisation pratiques variés.

Un volume conséquent de travaux pratiques permettra en outre aux étudiants de mettre en œuvre des méthodes numériques (régions de confiance, lagrangien augmenté, etc.) et de les tester pour le traitement de problèmes d'optimisation avec contraintes.

Voir la page complète

L e cours décrit les principales méthodes de modélisation et de résolution des problèmes de Recherche opérationnelle dont l'objectif est l'aide à la décision.  Cinq projets sont proposés aux étudiants qui doivent programmer en Matlab leurs programmes solutions. On y examine tour à tous les méthodes de programmation linéaire et entière (algorithme du simplexe), les méthodes de flot et de tension maximaux (algorihme de Ford et de Fulkerson), la théorie des jeux à somme non nulle dans un contexte de jeu non coopératif, les chaînes de Markov et la planification de trajectoires en robotique mobile.

Voir la page complète

Voir la page complète

Veuillez vous référer au syllabus de l'UE, car il s'agit du seul sujet de l'UE.

Voir la page complète