Equipe 3: Génie Logiciel

Problématique de recherche

Il est admis désormais de distinguer dans une application logicielle son modèle (abstrait issu des phases d’analyse et de conception) et le code exécutable qui la réalise. Longtemps, ces modèles sont restés des entités informelles. Mais la révolution que la programmation par objets a provoquée en génie logiciel se poursuit avec l’émergence d’une ingénierie des modèles. Celle-ci a permis de mettre en lumière des formalismes employés pour écrire ces modèles. Tout le travail  cité plus haut, se fera donc au travers de l'ingénierie dirigée par les modèles (IDM et MDA) et nous adhérons aux idées spéculées par l’OMG. Pour atteindre cet objectif, la MDA préconise le développement de logiciels par transformations de modèles et propose un découpage des modèles selon deux préoccupations majeures : l'expression des fonctionnalités d'un système et l'expression des spécificités technologiques d'une mise en œuvre de ces fonctionnalités. Dans cet objectif, et en plus des objectifs concrets cités plus haut, l'équipe travaille, d'une part, à l'amélioration et à l'automatisation des processus et, d'autre part, à l'intégration d'outils de vérification formelle tout au long du processus de développement. Plus particulièrement, l'équipe s'intéresse à la production automatique ou semi-automatique d'outils de génie logiciel à base de modèles (DSL et de transformation de modèles).

Objectifs, missions et activités attendus

L’équipe GL s’intéresse aux principes de l’ingénierie, des méthodes, des notations, des infrastructures et des outils pour les systèmes distribués et mobiles qui sont souvent importants en taille et très complexes. Elle prendra en charge aussi les processus, les méthodes et les outils de développement de ces systèmes complexes dans une manière actuelle et économique  Cette équipe aura aussi à mener des projets d’application et d’amélioration des techniques de génie logiciel afin de construire des softwares modulaires et extensibles pour des domaines de défi comme la gestion des connaissances et la sécurité informatique, en développant des frameworks pour intégrer des composants softwares hétérogènes dans des systèmes distribués complexes de gestion de connaissances et de sécurité informatique

Liste des membres (le chef d'équipe en premier, ordre décroissant du grade, ensuite alphabétique)