Wiki source code of Home
Version 90.1 by Mireille Blay-Fornarino on 2020/05/06 17:20
Show last authors
| author | version | line-number | content |
|---|---|---|---|
| 1 | >Ce site est un espace de travail. Il est complémentaire au site officiel du GDR que vous trouverez [[ici>>http://gdr-gpl.cnrs.fr/]]. | ||
| 2 | |||
| 3 | = Equipes du GDR GPL = | ||
| 4 | |||
| 5 | [[Equipes du GDR>>doc:Maps.Equipes.WebHome]] | ||
| 6 | |||
| 7 | |||
| 8 | [[Equipes internationales avec les équipes du GDR collaborent dans le cadre du GDR>>https://gdrgpl.myxwiki.org/xwiki/bin/view/Maps/InternationalTeams/]] | ||
| 9 | |||
| 10 | |||
| 11 | [[Equipes en entreprise ou dans les Institut de recherche technologique qui collaborent dans le cadre du GDR>>doc:Maps.TeamsInIndustryAndIRT.WebHome]] | ||
| 12 | |||
| 13 | = Groupes de Travail en construction du GDR GPL = | ||
| 14 | |||
| 15 | {{documentTree root="document:Main.GTs.WebHome"/}} | ||
| 16 | |||
| 17 | = Les grands défis portés par les équipes du GDR GPL = | ||
| 18 | |||
| 19 | |||
| 20 | * [[Vers des Logiciels Éco-responsables, Le génie logiciel au défi de la sobriété écologique>>attach:GDR_GPL_2020___logiciels_verts.pdf]] | ||
| 21 | * [[Combinatoire certifiée>>attach:combinatoire_certifiee.pdf]] | ||
| 22 | * [[New Generation Debuggers>>attach:New Generation Debuggers.pdf]] | ||
| 23 | * [[La sécurité dans le développement logiciel>>attach:La sécurité dans le développement logiciel.pdf]] | ||
| 24 | * [[Gestion de la co-évolution des logiciels partiellement générés pendant la phase d’évolution et de maintenance>>attach:co-évolution des logiciels.pdf]] | ||
| 25 | * [[Défi en compilation et langages: du parallélisme oui, mais du parallélisme efficace et sûr!>>attach:Défi en compilation et langages.pdf]] | ||
| 26 | * [[Safe and optimal component-based dynamic reconfiguration>>attach:Safe and optimal component-based dynamic reconfiguration]] | ||
| 27 | * [[Quelle argumentation pour des systèmes de confiance ?>>attach:Quelle argumentation pour des systèmes de confiance.pdf]] | ||
| 28 | * [[Génie Logiciel et Intelligence Artificielle>>attach:Génie Logiciel et Intelligence Artificielle.pdf]] | ||
| 29 | * [[Chaîne de compilation formellement certifiée>>attach:chaine_compilation_certifiee.pdf]] | ||
| 30 | * [[Vers plus de fiabilité sur les résultats de recherche en génie logiciel>>attach:Vers plus de fiabilité sur les résultats de recherche en génie logiciel.pdf]] | ||
| 31 | * [[Méthodes formelles pour la conception, la programmation et la vérification de systèmes critiques émergents>>attach:FM_systemes_emergents.pdf]] |