Master | Informatique

Voir la page complète

L’objectif de ce cours est d’apprendre les bonnes pratiques d’utilisation des patrons de conception et leur mise en œuvre en Java.

Voir la page complète

Voir la page complète

Cet enseignement présente les éléments fondamentaux du génie logiciel. La présentation se focalise sur les cycles de vie du logiciel, la qualité du logiciel, les techniques de spécification, techniques de de conception, les techniques de test, et la gestion de projet.

Voir la page complète

Voir la page complète

Le développement d’applications pour appareils mobiles (tablettes, téléphones, etc.) nécessite d’adapter l’interface et les interactions avec l’utilisateur. Ce cours a pour objectif d’introduire les enjeux et particularités du développement d’applications sur appareils mobiles en s’appuyant sur le SDK d’Android. Les différents points abordés sont : les mécanismes de base (installation, conception, compilation et déploiement), les principaux objets graphiques, la gestion particulière des listes et adaptateurs ainsi que l’utilisation des bases de données.
Android ; placement de composants graphiques ; composant liste ; adapteurs ; SQL.

Voir la page complète

Voir la page complète

Les réseaux et leurs technologies ; Internet ; le chiffrement ; la neutralité du net ; vie privée ; architecture (TCP/IP) ; couche liens ; couche réseau ; couche transport ; la couche application ; API REST; outils réseau.

Voir la page complète

Voir la page complète

Ce cours est la première partie du cours d’intelligence artificielle réparti sur les deux semestres. Le cours a pour objet de donner un large panorama des problématiques fondamentales de l’intelligence artificielle et d’étudier la représentation et la résolution de problèmes en IA utiles à la mise en oeuvre d’un agent rationnel. Ce cours est en partie basé sur le livre Artificial Intelligence : A Modern Approach de Stuart Russell et Peter Norvig.
Certains enseignements fondamentaux de l’IA (comme la logique, web des données... ) font l’objet de cours spécifiques dans le cursus Licence-Master.

Voir la page complète

L’objectif de ce cours est, au travers de divers problèmes combinatoires, d’aborder les principaux aspects de la programmation par contrainte : modélisation de problèmes et résolution de problèmes.
Ce cours proposera une introduction à la modélisation par contraintes, basée sur différents types de variables de décision (principalement entiers bornés et booléens) et de contraintes (linéaire, non-linéaire, en extension ou intention, …). Suivra un rapide panorama des contraintes globales les plus fréquemment utilisées.
La partie résolution abordera le filtrage et la propagation de contraintes permettant de réduire l’espace de recherche, puis la recherche/énumération permettant de créer l’arbre de recherche.
Les CM seront illustrés par de nombreux exemples et étayés par des TD. La partie pratique consistera en un projet collaboratif qui débutera dès les premiers enseignements et finira par une soutenance et un rapport. Ce projet permettra de se former à des outils tels que PyCSP3 ou MiniZinc.

Voir la page complète

― Introduction à l’optimisation et aux différents paradigmes de modélisation et de résolution
― Définition d’un programme linéaire.
― Représentation graphique d’un programme linéaire à 2 variables de décision.
― Modélisation de problèmes en programmes linéaires à variables continues.
― Algorithme du simplexe.
― Dualité et interprétation économique du dual.
― Modélisation de problèmes en programmes linéaires en nombres entiers.
― Introduction au problème du sac à dos et l’algorithme Branch & Bound.
― Algorithme du simplexe révisé, générations de colonnes et application aux problèmes de découpe.

Voir la page complète

Voir la page complète

Il s’agit de permettre aux étudiants d’acquérir des notions leur permettant de mieux appréhender et de s’intégrer au monde de l’entreprise.
Ainsi, ils devront atteindre, à l’issue du M2, le niveau B2 du cadre européen commun de référence pour les langues. Les étudiants prépareront parallèlement et passeront le TOIC, attestation de niveau linguistique reconnue par les entreprises.

Voir la page complète

Il s’agit de permettre aux étudiants d’acquérir des notions leur permettant de mieux appréhender et de s’intégrer au monde de l’entreprise.

Ils acquerront les techniques de communication leur permettant de valoriser leur parcours et leurs compétences, mais aussi d’animer une réunion et une équipe.

CV ; lettre de motivation ; animation de réunion ; entretien de recrutement ; animation d’équipe.

Voir la page complète

Il s’agit de permettre aux étudiants d’acquérir des notions leur permettant de mieux appréhender et de s’intégrer au monde de l’entreprise.

Ils étudieront également les particularités du droit appliqué au domaine informatique et notamment les concepts de propriété intellectuelle et de droit logiciel.

Législation européenne ; propriété intellectuelle ; droit et Internet ; propriété intellectuelle.

Voir la page complète

Voir la page complète

Présentation d’entreprises du secteur de l’informatique par des intervenants extérieurs.

Voir la page complète

Voir la page complète

Machine virtuelle ; Docker ; images et conteneurs logiciels ; images en couches ; réseaux virtuels ; patrons de conception pour les images ; écosystème Docker ; usine de développement logiciel ; DevOps.

Voir la page complète

Ce cours présente les concepts et méthodes permettant aux étudiants de comprendre et de maîtriser les techniques de la recherche documentaire telles que celles implémentées dans des systèmes comme Google, Yahoo, etc... Seront présentés : les modèles standard (booléen, vectoriel, probabiliste), les modèles avancés (flou, étendu, vectoriel généralisé), les techniques de modification des requêtes, le classement des documents réponses en fonction de leur pertinence.

Voir la page complète

Voir la page complète

Voir la page complète

― Programmation Réseau : conception de protocoles, sockets TCP, client-serveur mono/multithread.
― Programmation système : Processus lourds/ Processus légers ; Recouvrement de processus ; Multi-threading ; Synchronisation de processus ; Exclusion mutuelle ; Communication entre processus ; Signaux ; Tubes et tubes nommés.

Voir la page complète

Voir la page complète

Représentation de connaissances et de données destinées à être publiées sur le web ; langage RDF. Données ouvertes ; Open data ; Linked open data.
Définition de vocabulaires permettant le raisonnement ; RDF-Schéma ; OWL.
Interrogation des données et connaissances ; SPARQL.
Mise en oeuvre des technologies du web sémantique au sein d’une application.

Voir la page complète

Voir la page complète

Apprentissage du développement web avec la technologie J2E/Java EE/Jakarta EE (Java Enterprise Edition). Création de Servlet, utilisation et mise en relation avec JSP, JSP EL, JSTL core. Mise en place d’une application n-tiers avec le design pattern MVC adapté au Web. Utilisation de JDBC pour la persistance des données avec l’utilisation du design pattern DAO. Déploiement sous conteneur de servlet Tomcat.

Voir la page complète

Voir la page complète

Ce cours est la deuxième partie du cours d’intelligence artificielle réparti sur les deux semestres. Le cours a pour objet de donner un large panorama des problématiques fondamentales de l’intelligence artificielle et d’étudier la représentation et la résolution de problèmes en IA utiles à la mise en oeuvre d’un agent rationnel. Ce cours est en partie basé sur le livre Artificial Intelligence : A Modern Approach de Stuart Russell et Peter Norvig.
Certains enseignements fondamentaux de l’IA (comme la logique, données... ) font l’objet de cours spécifique dans le cursus Licence-Master.

Voir la page complète

Apprendre les principes et mettre en œuvre les techniques d’optimisation combinatoire.

Voir la page complète

Voir la page complète

Il s’agit de permettre aux étudiants d’acquérir des notions leur permettant de mieux appréhender et de s’intégrer au monde de l’entreprise.

Ils acquerront les techniques de communication leur permettant de valoriser leur parcours et leurs compétences, mais aussi d’animer une réunion et une équipe.

CV ; lettre de motivation ; animation de réunion ; entretien de recrutement ; animation d’équipe.

Voir la page complète

Il s’agit de permettre aux étudiants d’acquérir des notions leur permettant de mieux appréhender et de s’intégrer au monde de l’entreprise.
Ainsi, ils devront atteindre, à l’issue du M2, le niveau B2 du cadre européen commun de référence pour les langues. Les étudiants prépareront parallèlement et passeront le TOIC, attestation de niveau linguistique reconnue par les entreprises.

Voir la page complète

Voir la page complète

Ce cours est une introduction au domaine de l’apprentissage artificiel qui offre un cadre théorique et un ensemble de méthodes pour inférer des connaissances à partir d’exemples ou d’observations. En permettant la modélisation ou l’amélioration du comportement d’agents intelligents, l’apprentissage artificiel est un champ essentiel de l’intelligence artificielle.

Voir la page complète

Ce cours présentera les fondements des représentations et des traitements des données textuelles et abordera une partie des outils de ce domaine utilisés en ingénierie linguistique. Seront envisagés : les traitements au niveau lexical (machines d’états finis, modèles de ngrams, étiquetage morphosyntaxyque, modèle de Markov cachés,...) et les traitements syntaxiques.

Voir la page complète

Ce cours a pour objectif d’introduire aux différents aspects des fondamentaux de la représentation des connaissances, des informations non classiques.
― Présentation de la thématique représentation des connaissances et formalisation du raisonnement (KRR) en tant que branche de l’Intelligence Artificielle, IA symbolique et logique classique, imperfections des connaissances, limites de la logique classique et introduction à différents formalismes logiques non-classiques.
― Raisonnement non monotone, limites de la logique classique (et de la programmation logique classique). Présentation d’ASP (Answer Set Programming), syntaxe et sémantique, et de ses utilisations pour les raisonnements de sens commun et les problèmes combinatoires, mise en pratique avec Clingo.

Voir la page complète

Voir la page complète

Deux modalités de stage sont possibles: soit recherche soit professionnel. Le choix du stage se fait en accord avec le responsable du master.
En ce qui concerne le stage recherche, il a pour objectif de permettre à l’étudiant de mener un projet de recherche dans le cadre d’un laboratoire. Ce projet a lieu sur un problème ouvert. L’étudiant effectue une bibliographie sur ce problème, propose des solutions originales et les met en œuvre. Il rédige dans un rapport ses résultats et présente son travail. Une attention particulière doit être apportée à la bibliographie, la formalisation des résultats, à la programmation nécessaire pour la mise en œuvre et à la communication au jury.
En ce qui concerne le stage professionnel, il a pour objectif de permettre aux étudiants de s’immerger dans le monde professionnel au travers de la réalisation, la maintenance ou l’amélioration d’un logiciel sur une longue durée. L’étudiant devra se confronter à des aspects théoriques et pratiques caractérisés par son domaine de compétence ainsi qu’à des facteurs humains et économiques liés au monde professionnel.

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

Il s’agit d’introduire la programmation parallèle au travers de la programmation sur cartes graphiques NVidia dotées de la technologie CUDA. Avec le framework CUDA la programmation parallèle diffère de celle que l’on peut effectuer sur un CPU.

Voir la page complète

L’objectif de cette unité est d’introduire les différentes architectures logicielles distribuées ainsi que les frameworks technologiques pour leur prise en charges. 
Dans une architecture logicielle distribuée, les composants du logiciel sont présentés sur différentes plates-formes et plusieurs composants peuvent coopérer les uns avec les autres afin d’atteindre un objectif spécifique.
L’architecture client-serveur est un exemple typique qui constitue la base des architectures multi-niveaux ; les autres solutions sont l’architecture de courtier (Broker Architecture) telle que CORBA et l’architecture orientée services (SOA). Il existe plusieurs cadres technologiques pour prendre en charge les architectures distribuées, notamment .NET, J2EE, CORBA, les services Web.
NET, les services Web Java AXIS etc. Le Middleware est une infrastructure qui soutient de manière appropriée le développement et l’exécution d’applications distribuées. Il sert de tampon entre les applications et le réseau. La base d’une architecture distribuée est sa transparence, sa fiabilité et sa disponibilité. Ce cours focalise sur CORBA et les Web services.

Voir la page complète

Voir la page complète

L’objectif de ce cours est de présenter les processus d’extraction de connaissances à partir de données, et de les mettre en œuvre par des expérimentations. Après un rappel des fondamentaux de l’apprentissage statistique, l’idée sera d’appréhender les mécanismes modernes d’extraction statistique de connaissances. Nous commencerons par discuter des principes des machines à noyaux (type SVM) pour s’orienter vers diverses architectures neuronales profondes, qui offrent une plus grande flexibilité pour manipuler divers types de données complexes.
L’UE sera également l’occasion pour les étudiants de prendre en main et se perfectionner sur les librairies actuelles du domaine (e.g., Numpy, Pytorch).
L’enseignement sera complété par un projet.

Voir la page complète

Ce cours fait suite aux cours de bases de données qui fournissent les fondements théoriques et pratiques des bases de données utilisées aujourd’hui dans le monde professionnel, en particulier le modèle relationnel. Il a pour objectif de fournir un panorama de modèles de bases de données qui peuvent s’appliquer dans des domaines avancés.

Voir la page complète

Voir la page complète

Comment intégrer une technologie issue d’un domaine de recherche (ici un solveur de contraintes) dans une application Web ? Cet enseignement permettra aux étudiants de voir les avantages de modéliser simplement un problème difficile dans un solveur plutôt que d’implémenter un algorithme ad-hoc compliqué et difficilement compréhensible. Après une brève présentation des concepts et principaux langages de modélisation (Mini- Zinc, etc.), l’accent sera mis sur la modélisation d’un problème réel (réservation de ressources, choix d’itinéraire, planification, etc.), de sa résolution et de la présentation des résultats dans un site web.

Voir la page complète

Voir la page complète

Voir la page complète

Ce cours propose d’introduire les principes des objets connectés. La partie cours présentera d’abord les principaux protocoles de communication utilisés aujourd’hui (Sigfox, Bluetooth, etc.), ainsi que quelques composants classiques et la façon de les programmer. Les séances de travaux pratiques auront comme but de créer et faire communiquer un objet connecté simple. Objets connectés ; Sigfox ; Bluetooth ; Internet of things

Voir la page complète

Le monde de l’informatique est en constante évolution. Les technologies actuelles se succèdent rapidement parfois pour ne pas s’imposer. 
Il s’agit, au sein de cette unité, de faire connaître et d’apprendre des outils et technologies actuels au travers de présentation ou de séances de cours et de TP dispensés par des professionnels issus d’entreprises.
Les thèmes abordés tourneront autour des Frameworks “à la mode” dans le monde du Web, mais aussi autour d’outils d’administration récents ou encore des dernières normes ou outils pour le développement logiciel.
Des simulations d’entretiens seront également programmées.

Voir la page complète

Voir la page complète

Les objectifs de ce module sont de développer la connaissance et la maîtrise des systèmes GNU/Linux pour l’étudiant. Les enseignements couvrent les principes fondamentaux d’organisation d’un système GNU/Linux, la modification du système pour l’utilisateur et l’administrateur, puis le déploiement d’applications métiers sur une base LAMP. 
Ces éléments pourront être virtualisés.
Les enseignements et leurs explications nécessitent l’utilisation de l’ordinateur fourni par le master, mais seront suffisamment génériques pour être applicables dans d’autres distributions.

Voir la page complète

Voir la page complète

Voir la page complète

Il s’agit d’aborder quelques problématiques de la sécurité informatique, en suivant plusieurs axes (humain, organisationnel, matériel, logiciel). Plus précisément, les méthodes de chiffrement, la sécurité des systèmes d’exploitation ainsi que des services réseaux (firewall, SSH, VPN).
Les infrastructures à clés publiques et les critères liés à la sécurité (disponibilité, intégrité, confidentialité…) sont également abordés.

Voir la page complète

L’objectif de ce cours est de présenter les concepts et méthodes fondamentaux permettant de bien tester un logiciel ainsi que les concepts associés tels que la qualité de logiciel, la validation et la vérification de logiciel. 
- Rappel des cycles de vie du développement de logiciel et de l’assurance qualité du logiciel
- Classification des tests (test unitaire, test d’intégration, test de non-régression)
- Méthodes de test (boite noire, boite blanche, boite grise)
- Stratégies de test (bottom-up, top-down, Sandwich)
- Méthodes de tests formels

Nous ouvrirons le cours à des notions pour la génération automatique de tests logiciels (e.g., génération de tests basée sur des modèles), et l’utilisation de l’apprentissage pour la compréhension et la certification des comportements des systèmes complexes (e.g., rétro-ingénierie logicielle dynamique, méthodes adverses, exploration de l’espace d’entrée, détection de cas pathologiques, apprentissage par renforcement robuste, etc.).

Voir la page complète

Voir la page complète

L’objectif de ce cours est de sensibiliser et initier les étudiants à la recherche par la présentation de quelques thématiques concrètes. Il est composé de 5 interventions de 6h sur des sujets de recherche menés au laboratoire

Voir la page complète

Voir la page complète

Il s’agit de permettre aux étudiants d’acquérir des notions leur permettant de mieux appréhender et de s’intégrer au monde de l’entreprise.
Ainsi, ils devront atteindre le niveau B2 du cadre européen commun de référence pour les langues (CECRL). Les étudiants aborderont aussi les spécificités de l’anglais scientifique, technique et professionnel. Ils prépareront parallèlement et passeront le TOIC, 

attestation de niveau linguistique reconnue par les entreprises.
Ils acquerront les techniques de communication leur permettant de valoriser leur parcours et leurs compétences, mais aussi d’animer une réunion et une équipe. Ils étudieront également les particularités du droit appliqué au domaine informatique et notamment les concepts de propriété intellectuelle et de droit logiciel.
Enfin, des séminaires et conférences mensuels dont les intervenants seront issus des entreprises seront organisés afin de familiariser les étudiants avec des applications et problématiques industrielles. Les séminaires seront plutôt le lieu de présentation d’applications ciblées mais néanmoins représentatives réalisées en entreprises.
Les conférences, quant à elles, seront dédiées à la présentation plus générale de certaines problématiques posées dans le secteur de l’informatique industrielle ou de secteurs limitrophes.

Voir la page complète

Il s’agit de permettre aux étudiants d’acquérir des notions leur permettant de mieux appréhender et de s’intégrer au monde de l’entreprise.
Ainsi, ils devront atteindre le niveau B2 du cadre européen commun de référence pour les langues (CECRL). Les étudiants aborderont aussi les spécificités de l’anglais scientifique, technique et professionnel. Ils prépareront parallèlement et passeront le TOIC, attestation de niveau linguistique reconnue par les entreprises.

Voir la page complète

Acquérir les techniques de communication leur permettant de valoriser leur parcours et leurs compétences, mais aussi d’animer une réunion et une équipe.

Voir la page complète

Étudier, les particularités du droit appliqué au domaine informatique et notamment les concepts de propriété intellectuelle et de droit logiciel.

Voir la page complète

Des séminaires et conférences mensuels dont les intervenants seront issus des entreprises seront organisés afin de familiariser les étudiants avec des applications et problématiques industrielles. Les séminaires seront plutôt le lieu de présentation d’applications ciblées mais néanmoins représentatives réalisées en entreprises. Les conférences, quant à elles, seront dédiées à la présentation plus générale de certaines problématiques posées dans le secteur de l’informatique industrielle ou de secteurs limitrophes.

Voir la page complète

Projet réalisé entre septembre et mars et comptabilisé au 2ème semestre pour le contrôle des connaissances. Il s’agit pour un groupe d’étudiants de réaliser un logiciel en mettant en œuvre les connaissances relatives au Génie Logiciel et la Gestion de Projet.

Voir la page complète

Projet réalisé entre septembre et mars et comptabilisé au 2ème semestre pour le contrôle des connaissances. Il s’agit pour un groupe d’étudiants de réaliser un logiciel en mettant en œuvre les connaissances relatives au Génie Logiciel et la Gestion de Projet.

Voir la page complète

Stage d’application de 4 à 6 mois.

Voir la page complète

Stage d’application de 4 à 6 mois.

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

Il s’agit d’introduire la programmation parallèle au travers de la programmation sur cartes graphiques NVidia dotées de la technologie CUDA. Avec le framework CUDA la programmation parallèle diffère de celle que l’on peut effectuer sur un CPU.

Voir la page complète

Voir la page complète

L’objectif de ce cours est de présenter les processus d’extraction de connaissances à partir de données, et de les mettre en œuvre par des expérimentations. Après un rappel des fondamentaux de l’apprentissage statistique, l’idée sera d’appréhender les mécanismes modernes d’extraction statistique de connaissances. Nous commencerons par discuter des principes des machines à noyaux (type SVM) pour s’orienter vers diverses architectures neuronales profondes, qui offrent une plus grande flexibilité pour manipuler divers types de données complexes.
L’UE sera également l’occasion pour les étudiants de prendre en main et se perfectionner sur les librairies actuelles du domaine (e.g., Numpy, Pytorch).
L’enseignement sera complété par un projet.

Voir la page complète

Ce cours fait suite aux cours de bases de données qui fournissent les fondements théoriques et pratiques des bases de données utilisées aujourd’hui dans le monde professionnel, en particulier le modèle relationnel. Il a pour objectif de fournir un panorama de modèles de bases de données qui peuvent s’appliquer dans des domaines avancés.

Voir la page complète

Voir la page complète

Comment intégrer une technologie issue d’un domaine de recherche (ici un solveur de contraintes) dans une application Web ? Cet enseignement permettra aux étudiants de voir les avantages de modéliser simplement un problème difficile dans un solveur plutôt que d’implémenter un algorithme ad-hoc compliqué et difficilement compréhensible. Après une brève présentation des concepts et principaux langages de modélisation (Mini- Zinc, etc.), l’accent sera mis sur la modélisation d’un problème réel (réservation de ressources, choix d’itinéraire, planification, etc.), de sa résolution et de la présentation des résultats dans un site web.

Voir la page complète

Voir la page complète

Ce cours a pour objectif d’introduire aux différents aspects des fondamentaux de la représentation des connaissances, des informations non classiques, de la complexité, du traitement de données textuelles et de l’ingénierie linguistique.  

1 - Présentation de la thématique représentation des connaissances et formalisation du raisonnement (KRR) en tant que branche de l'Intelligence Artificielle, IA symbolique et logique classique, imperfections des connaissances, limites de la logique classique et introduction à différents formalismes logiques non-classiques.
2 - Étude de la logique possibiliste, formalisme logique non-classique de traitement de connaissances incertaines : représentation des connaissances en logique possibiliste, raisonnement sémantique (distribution de possibilités) et raisonnement syntaxique (réfutation, résolution), application au raisonnement incohérent. 
3 - Raisonnement non monotone, limites de la logique classique (et de la programmation logique classique). Présentation d'ASP (Answer Set Programming), syntaxe et sémantique, et de ses utilisations pour les raisonnements de sens commun et les problèmes combinatoires, mise en pratique avec Clingo.
4 - Problème de la représentation et de la résolution des jeux à deux joueurs sous l’angle de la complexité théorique : introduction des machines de Turing à oracle, définition des problèmes PSPACE, définition de la Hiérarchie Polynomiale, présentation de certains langages représentant la Hiérarchie Polynomiale (QBF, QCSP, QCHR), algorithmique du langage QBF.

Voir la page complète

Voir la page complète

Il s’agit d’introduire aux grands principes des systèmes à base de connaissances et des   systèmes interactifs les utilisant. Ce cours fournit les fondamentaux du domaine et les   résultats saillants des travaux de recherche. On étudie donc les systèmes à base de connaissances, les mécanismes d’inférence des systèmes à base de connaissances, le génie des connaissances et mémoire d’entreprise, le modèle des cartes cognitives, le modèle des cartes conceptuelles, la validation des systèmes symboliques, les systèmes visuels de connaissances (graphes conceptuels, réseaux bayésiens…), les systèmes de maintien de vérité. 

Voir la page complète

Voir la page complète

Cet enseignement présente les éléments fondamentaux des métaheuristiques qui sont des méthodes d’optimisation approchées générales et applicables dans de très nombreuses situations. La présentation mettra l’accent sur les concepts de base de différents types de métaheuristiques incluant notamment les méthodes de recherche locale à trajectoire unique, les algorithmes évolutionnaires à base de population, les méthodes hybrides. Des stratégies dédiées à l’intensification et la diversification ainsi que les techniques de traitement de contraintes seront abordées. Des exemples seront proposés pour illustrer comment aboutir à une conception d’un algorithme métaheuristique efficace. Des applications réelles seront étudiées dans des secteurs variés. 

Voir la page complète

Voir la page complète

Algorithmes évolutionnaires :
— Concepts de base 
— Représentation  
— Opérateurs de variations  
— Performances
— Configuration automatique d’algorithmes
— Apprentissage par renforcement 
— Expérimentation et analyse d’algorithmes 

Voir la page complète

Voir la page complète

L’objectif de ce cours est d’appréhender les concepts et méthodes fondamentaux permettant de modéliser et résoudre de manière exacte des problèmes d’optimisation combinatoire et de satisfaction de contraintes.  

Dans le cadre des problèmes de satisfaction de contraintes seront présentées les méthodes de recherche arborescente, heuristiques de branchement, maintien de consistance, élimination de symétries, utilisation de contraintes globales, décomposition et hybridation avec méthodes de recherche locale.  

Les analyses de modèles, la reformulation, la conversion de modèles seront également abordés dans le cadre de la modélisation par contraintes.

Voir la page complète

Voir la page complète

Il s’agit de permettre aux étudiants d’acquérir des notions leur permettant de mieux appréhender et de s’intégrer au monde de l’entreprise.
Ainsi, ils devront atteindre le niveau B2 du cadre européen commun de référence pour les langues (CECRL). Les étudiants aborderont aussi les spécificités de l’anglais scientifique, technique et professionnel. Ils prépareront parallèlement et passeront le TOIC, attestation de niveau linguistique reconnue par les entreprises.

Voir la page complète

Acquérir les techniques de communication leur permettant de valoriser leur parcours et leurs compétences, mais aussi d’animer une réunion et une équipe.

Voir la page complète

Étudier, les particularités du droit appliqué au domaine informatique et notamment les concepts de propriété intellectuelle et de droit logiciel.

Voir la page complète

Des séminaires et conférences mensuels dont les intervenants seront issus des entreprises seront organisés afin de familiariser les étudiants avec des applications et problématiques industrielles. Les séminaires seront plutôt le lieu de présentation d’applications ciblées mais néanmoins représentatives réalisées en entreprises. Les conférences, quant à elles, seront dédiées à la présentation plus générale de certaines problématiques posées dans le secteur de l’informatique industrielle ou de secteurs limitrophes.

Voir la page complète

Voir la page complète

Projet réalisé entre septembre et mars et comptabilisé au 2ème semestre pour le contrôle des connaissances. Il s’agit pour un groupe d’étudiants de réaliser un logiciel en mettant en œuvre les connaissances relatives au Génie Logiciel et la Gestion de Projet.

Voir la page complète

Stage d’application de 4 à 6 mois. 

Voir la page complète

Stage d’application de 4 à 6 mois.

Voir la page complète

Voir la page complète