Groupes de Travail et Actions Transverses

Les communautés scientifiques du GDR GPL sont organisées en groupes de travail et actions transverses. Les groupes de travail sont internes au GDR GPL, alors que les actions transverses réunissent une communauté commune à plusieurs GDR.

Les groupes de travail sont les suivants :

  • AFSEC : Approches Formelles des Systèmes Embarqués Communicants
  • Compilation
  • GLE : Génie Logiciel Empirique
  • GL/\CE : Génie Logiciel pour les systèmes cyber-physiques
  • IDM : Ingénierie Dirigée par les Modèles
  • IE : Ingénierie des Exigences
  • LaHMA :Langages et Modèles de Haut-niveau pour la programmation parallèle, distribuée, de grilles de calcul et Applications
  • LTP : Langages, Types et Preuves
  • MFDL : Méthodes Formelles dans le Développement Logiciel
  • MTV2 : Méthodes de test pour la validation et la vérification
  • RIMEL : Rétro-Ingénierie, Maintenance et Evolution des Logiciels
  • SDS : Systèmes De Systèmes

L'action transverse est la suivante :

  • Action ALROB : Architectures Logicielles pour la ROBotique autonome et les systèmes adaptables