Spécialité Génie Logiciel
Description récupérée du LMD4, lorsque le parcours se nommait AIGLE.
-
Conception et développement d’architectures logicielles
- architectures orientées services
- architectures web
- urbanisation (architectures des systèmes d’informations)
-
Maîtrise de la conception et du développement par objets
-
Maîtrise des technologies web
-
Maîtrise de l’informatique embarquée (pour mobiles...)
Prénom NOM et Prénom NOM etc.
- les gros titres
- du cours avec
- des redirections
- si possibles
- si présent ajouté une bibliographie
Présentation du stage académique, informations particulières et des offres de stages disponibles.
Présentation du stage industrielle, informations particulières et des offres de stages disponibles.
Dix séminaires soutenus pas des industrielles et scientifique autour du génie logicile, de l'intelligence artificielle, des méthodes formelles, etc.
- L'industrialisation, par Jules Coulon (Sopra Steria, France)
- L'outil KeY, par Simon Robillard (Lirmm, France)
- L'intérêt de la recherche pour l'industrie, par Julien Morgan De Rivery et Benoît Verhaeghe (Berger-Levrault, France)
- Numérique responsable : ecoCode, par Olivier Le Goaër (Université de Pau, France)
- Méthode Formelle, Développement logiciel et Système sûr critique, par Etienne Prun (CLEARSY, France)
- L'importance du CI/CD dans un projet de développement : R2DevOps, par Thomas Boni (Go2Scale, France)
- Comment sont programmés les robots ?, par Robin Passama (CNRS/Lirmm, France)
- Software Product Line Engineering: From Research Ideas to industrial Tools (Moobios Forge), par Tewfik Ziadi (Université Paris Sorbonne/LIP6 & RedFabriQ, France)
- Ingénierie Logicielle Avancée grâce à Pharo, par Stéphane Ducasse (INRIA, France)
- Software Engineering for the service of Services, par Naouel Moha (ETSM, Montréal)
- Introduction à Flutter, par Abderrahmane SERIAI (Berger-Levrault, France)
- Introduction a l'IoT par Yassine Haddab (Université de Montpellier, France)
- Réseaux maillés a base de capteurs autonomes, par Alban Mancheron (Lirmm, France)
Objectifs de ce cours : Présenter les aspects essentiels de la maintenance (évolution) des logiciels, selon deux aspects, technique et organisationnels.
- Concepts et principes généraux de l'évolution logicielle
- Analyse statique et dynamique des logiciels
- Rétro-ingénierie : extraction d'architecture d'un système OO (a l'aide de la JDT : ASTParser et un framework tiers : Spoon)
- Visualisation des logiciels (Moose/Pharo)
- Gestion de la variabilité et lignes de produits
- Compréhension des logiciels
- Restructuration et refactoring des logiciels (Migration Monolithique vers Micro-Service, Refactoring assisté par FCA/RCA, etc.)
Une première partie de ce module, soutenu par Isabelle Mougenot, permet d'explorer différentes familles de systèmes NoSQL :
- Graphe : Neo4J
- KG : triplestore (langages web sémantique)
- Outil de mapping objet/relationnel Hibernate
- Document : CouchDB
- Colonne : Hbase
- Principes généraux : limites du relationnel, scalabilité, distribution, principe CAP, paradigme Map-Reduce
Dans une seconde partie, soutenu par François Scharffe, Federico Ulliana ainsi que deux doctorant, permet d'explorer la façon dont est manipuler l'information dans un système de base de donnée dit Hexastore, en essayant d'en implémenter un from scratch en Java et de nous introduire au benchmarking (principalement de SGBD, mais aussi plus généralement).
- Introduction IA et GL : qu’est-ce que l’IA, l'apprentissage, grandes directions en IA symbolique et sous-symbolique. Pointeurs vers des outils d'IA. Exemples de situations en génie logiciel. Introduction à l'Analyse formelle de concepts
- Analyse formelle de concepts et analyse de la variabilité. Construction de Feature Models à partir de structures conceptuelles
- Programmation par contraintes pour la génération de tests (1ere partie)
- Apprentissage automatique par analyse du code
- Programmation par contraintes pour la génération de tests (2e partie)
- Fouille de données pour la localisation de fautes (1ere partie)
- Fouille de données pour la localisation de fautes (2e partie)
- Analyse de la contribution architecturale dans les projets OS. Données GitHub, calcul de métrique, analyse statistique des résultats, interprétation (choix des visualisations adaptées)
- Classification de tickets dans les Issue Tracking Systems : distinction bug / non bug. Données issues d'IST (Jira), techniques de NLP (TF-IDF), classification supervisée, réseaux de neurones, évaluation (signification des écarts statistiques avec l'état de l'art)
- Clustering, q-learning pour la restructuration et la modernisation
- Analyse relationnelle de concepts et analyse de la variabilité logicielle par séparation des préoccupations
- Utilisation des métaheuristiques en GL. Cas d'étude : utilisation des CSP pour inférer des contraintes OCL
- Introduction : modèles et métamodèles
- Transformations de modèles
- Le méta-modèle UML - 29/09 - 14H
- OCL (10 et 17 novembre)
- Syntaxe textuelle et XText
- Syntaxes graphiques avec Sirius
- Combemale, Benoit, Robert France, Jean-Marc Jézéquel, Bernhard Rumpe, James Steel, and Didier Vojtisek. Engineering modeling languages: Turning domain knowledge into tools. CRC Press, 2016.
- Jézéquel, Jean-Marc, Benoit Combemale, and Didier Vojtisek. Ingénierie Dirigée par les Modèles: des concepts à la pratique... Ellipses, 2012. (Preprint version HAL)
But : Utilisation et Construction de Langages Réflexifs autorisant la Méta-Programmation. (#meta-programming #dynamic adaptability #model@runtime)
- Définitions : modèles, méta-modèles, réflexivité, méta-programmation,
- Utilisation de systèmes réflexifs
- contexte du d�eveloppement par objet.
- Méta-Programmation, Utilisation de méta-objets (Smalltalk, Clos, ... Ruby, Pharo, Python, ...), pour interroger ou manipuler :
- tout ou partie des modèles (par exemple les classes, les hiérarchies de classes, les attributs, les méthodes),
- tout ou partie de la machinerie d'exécution des programmes (par exemple le compilateur, la pile d'exécution).
- Réalisation de méta-modèles exécutables avec MOF/Eclipse (voir models@runtime) ...
- Construction de systèmes réflexifs
- Intégration de méta-classes explicites dans un langage à objets, avec son bootsrap.
- construction d'un interpréteur méta-circulaire
- Construction d'un interpréteur méta-circulaire réflexif
- Projets Etudiants - Exploration ouverte multi-langages et multi-thématique (ObjVLisp)
Informations générales Prérequis : module "représentation des connaissances" (M1, HMIN231, 2021) ou équivalent pour les étudiants extérieurs.
Ce cours nécessite des bases en :
- logique du premier ordre (en particulier : interprétation, modèle, conséquence logique),
- systèmes à base de règles (en particulier : règles datalog, homomorphisme, requête conjonctive, chaînage avant, chaînage arrière),
- complexité (en particulier : classes P et NP).
- Introduction
- Fragment existentiel conjonctif : faits et requêtes conjonctives
- Bases de connaissances : où l'on ajoute des règles et des contraintes
- OWA / CWA : négation classique et négation par défaut
- Règles existentielles
- Answer Set Programming (ASP)
- Introduction à la vérification automatique de programmes
- Rappel : Preuves en logique du premier ordre (Système LK/LJ)
- Déduction automatique en logique propositionnelle classique (Procédure DPLL, Procédure de Résolution, Méthode des tableaux)
- Déduction automatique en logique du premier ordre classique (Algorithme d'unification de Robinson, Les Méthodes des tableaux, Résolution)
- Déduction modulo théorie et variantes (Règles de ré-écriture, Superdéduction)
- Satisfiability Modulo Theories (SMT, DPLL Abstrait et optimisations)
- Égalité avec symboles non interprétés (Théorie de l'égalité, congruence et une Procédure de décision)
- Arithmétique linéaire (Seulement la partie Rationnelle, Simplexe généralisé)