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
• CLAP : Compilation, Langages, Analyses, Parallélisme
• Debugging
• GLIA : Génie Logiciel et Intelligence Artificielle
• GL_Sec : La sécurité dans le développement logiciel
• HiFi : Méthodes Formelles et Programmation Haute Fidélité pour Systèmes Critiques Émergents
• IDM : Ingénierie Dirigée par les Modèles
• IE : Ingénierie des Exigences
• LVP : Langages et vérification de programmes
• Logiciel Éco-Responsable
• MTV2 : Méthodes de test pour la validation et la vérification
• VL : Vélocité Logicielle
• YODA : "trustworthY and Optimal Dynamic Adaptation »

Les anciens groupes de travail ou actions transverses sont les suivants :

• Action ALROB : Architectures Logicielles pour la ROBotique autonome et les systèmes adaptables
• Compilation
• COSMAL : Composants Objets Services : Modèles, Architectures et Langages
• FORWAL : Formalismes et Outils pour la Vérification et la Validation
• GLE : Génie Logiciel Empirique
• GL/\CE : Génie Logiciel pour les systèmes cyber-physiques
• 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
• RIMEL : Rétro-Ingénierie, Maintenance et Evolution des Logiciels
• SDS : Systèmes De Systèmes