Wiki source code of Home
Version 99.1 by Mireille Blay-Fornarino on 2020/06/19 12:27
Show last authors
| author | version | line-number | content |
|---|---|---|---|
| 1 | >{{tagcloud __cke_selected_macro="true"/}}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 | |||
| 4 | (% class="box successmessage" %) | ||
| 5 | ((( | ||
| 6 | Merci à tous pour votre travail sur les GTs. | ||
| 7 | ))) | ||
| 8 | |||
| 9 | (% class="box successmessage" %) | ||
| 10 | ((( | ||
| 11 | La période est compliquée pour tous, y compris pour le CoNRS, ce qui nous donne un petit délai. Si vous pouviez finaliser les premières informations pour les groupes pour **le 10 juin,** ce serait super, cela nous permettra d'avoir la vision globale ! | ||
| 12 | ))) | ||
| 13 | |||
| 14 | = Equipes du GDR GPL = | ||
| 15 | |||
| 16 | [[Equipes du GDR>>doc:Maps.Equipes.WebHome]] | ||
| 17 | |||
| 18 | |||
| 19 | [[Equipes internationales avec les équipes du GDR collaborent dans le cadre du GDR>>https://gdrgpl.myxwiki.org/xwiki/bin/view/Maps/InternationalTeams/]] | ||
| 20 | |||
| 21 | |||
| 22 | [[Equipes en entreprise ou dans les Institut de recherche technologique qui collaborent dans le cadre du GDR>>doc:Maps.TeamsInIndustryAndIRT.WebHome]] | ||
| 23 | |||
| 24 | = Groupes de Travail en construction du GDR GPL = | ||
| 25 | |||
| 26 | {{documentTree root="document:Main.GTs.WebHome"/}} | ||
| 27 | |||
| 28 | = Les grands défis portés par les équipes du GDR GPL = | ||
| 29 | |||
| 30 | |||
| 31 | * [[Vers des Logiciels Éco-responsables, Le génie logiciel au défi de la sobriété écologique>>attach:GDR_GPL_2020___logiciels_verts.pdf]] | ||
| 32 | * [[Combinatoire certifiée>>attach:combinatoire_certifiee.pdf]] | ||
| 33 | * [[New Generation Debuggers>>attach:New Generation Debuggers.pdf]] | ||
| 34 | * [[La sécurité dans le développement logiciel>>attach:La sécurité dans le développement logiciel.pdf]] | ||
| 35 | * [[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]] | ||
| 36 | * [[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]] | ||
| 37 | * [[Safe and optimal component-based dynamic reconfiguration>>attach:Safe and optimal component-based dynamic reconfiguration]] | ||
| 38 | * [[Quelle argumentation pour des systèmes de confiance ?>>attach:Quelle argumentation pour des systèmes de confiance.pdf]] | ||
| 39 | * [[Génie Logiciel et Intelligence Artificielle>>attach:Génie Logiciel et Intelligence Artificielle.pdf]] | ||
| 40 | * [[Chaîne de compilation formellement certifiée>>attach:chaine_compilation_certifiee.pdf]] | ||
| 41 | * [[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]] | ||
| 42 | * [[Méthodes formelles pour la conception, la programmation et la vérification de systèmes critiques émergents>>attach:FM_systemes_emergents.pdf]] | ||
| 43 | |||
| 44 | **[[Pour avoir tous les défis d'un coup, c'est ici (.zip>>attach:Archive.zip]]**[[(% class="wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink" %)**) **>>attach:Archive.zip]] |