Wiki source code of Home

Version 149.1 by Mireille Blay-Fornarino on 2021/02/10 17:15
Hide last authors
Mireille Blay-Fornarino 144.1 1
2
Mireille Blay-Fornarino 130.1 3 >**Espace de travail **de la communauté du GDR Génie de la Programmation et du Logiciel (GPL)
Mireille Blay-Fornarino 119.1 4
Mireille Blay-Fornarino 129.1 5 {{warning}}
6 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/]].
7 {{/warning}}
Mireille Blay-Fornarino 119.1 8
9 (% class="box successmessage" %)
10 (((
Mireille Blay-Fornarino 148.1 11 **Vous souhaitez participer à un nouveau groupe de travail? Prenez contact les porteurs des groupes de travail.**
Mireille Blay-Fornarino 119.1 12 )))
13
Mireille Blay-Fornarino 135.1 14 = Equipes du GDR GPL =
Mireille Blay-Fornarino 119.1 15
Mireille Blay-Fornarino 134.1 16 [[Equipes du GDR>>doc:Maps.Equipes.WebHome]] (Carte interactive)
Mireille Blay-Fornarino 119.1 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
Mireille Blay-Fornarino 134.1 24
Mireille Blay-Fornarino 135.1 25 [[Equipes version textuelle>>https://gdrgpl.myxwiki.org/xwiki/bin/view/Maps/Equipes/?viewer=children]]
Mireille Blay-Fornarino 134.1 26
Mireille Blay-Fornarino 148.1 27 (% class="wikigeneratedid" %)
28 Les laboratoires impliqués :
29
30 * CEA List
31 * [[Cédric>>http://cedric.cnam.fr/lab/]]
32 * CRIStAL
33 * [[FEMSTO-ST>>https://www.femto-st.fr/fr/L-institut/Presentation]]
34 * ICube
35 * I3S
Mireille Blay-Fornarino 149.1 36 * IMT Lille Douai
37 * IRISA
38 * IRIT
39 * LAAS
40 * LCIS
Mireille Blay-Fornarino 148.1 41 * LIG
Mireille Blay-Fornarino 149.1 42 * LIMOS
43 * [[LIP>>http://www.ens-lyon.fr/LIP/]]
44 * LIP6
45 * LIRMM
46 * LISTIC
Mireille Blay-Fornarino 148.1 47 * SAMOVAR
48 * [[U2IS>>http://u2is.ensta-paris.fr/]] ENSTA
49 *
50
Mireille Blay-Fornarino 119.1 51 = Groupes de Travail en construction du GDR GPL =
52
53 {{documentTree root="document:Main.GTs.WebHome"/}}
54
55 = Les grands défis portés par les équipes du GDR GPL =
56
57
58 * [[Vers des Logiciels Éco-responsables,  Le génie logiciel au défi de la sobriété écologique>>attach:GDR_GPL_2020___logiciels_verts.pdf]]
59 * [[Combinatoire certifiée>>attach:combinatoire_certifiee.pdf]]
60 * [[New Generation Debuggers>>attach:New Generation Debuggers.pdf]]
61 * [[La sécurité dans le développement logiciel>>attach:La sécurité dans le développement logiciel.pdf]]
62 * [[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]]
63 * [[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]]
64 * [[Safe and optimal component-based dynamic reconfiguration>>attach:Safe and optimal component-based dynamic reconfiguration]]
65 * [[Quelle argumentation pour des systèmes de confiance ?>>attach:Quelle argumentation pour des systèmes de confiance.pdf]]
66 * [[Génie Logiciel et Intelligence Artificielle>>attach:Génie Logiciel et Intelligence Artificielle.pdf]]
67 * [[Chaîne de compilation formellement certifiée>>attach:chaine_compilation_certifiee.pdf]]
68 * [[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]]
69 * [[Méthodes formelles pour la conception, la programmation et la vérification de systèmes critiques émergents>>attach:FM_systemes_emergents.pdf]]
Mireille Blay-Fornarino 125.1 70 * [[Permettre la programmation sans bug>>attach:Permettre la programmation sans bug]]
Mireille Blay-Fornarino 119.1 71
Mireille Blay-Fornarino 149.1 72 **[[Pour avoir tous les défis d'un coup, c'est ici (.zip>>attach:Archive.zip]]**[[(% class="wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink" %)**) **>>attach:Archive.zip]]
Mireille Blay-Fornarino 119.1 73
Mireille Blay-Fornarino 120.1 74 = (% class="wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink" %)Visualisation des thématiques du GDR sous la forme d'un nuage de mots(%%) =
Mireille Blay-Fornarino 119.1 75
Mireille Blay-Fornarino 128.1 76 {{warning}}
77 Travail en cours
Mireille Blay-Fornarino 127.1 78 {{/warning}}
Mireille Blay-Fornarino 120.1 79
Mireille Blay-Fornarino 144.1 80 [[image:wordcloud.png]]
81
Mireille Blay-Fornarino 123.1 82 (% style="text-align:center" %)
Mireille Blay-Fornarino 144.1 83 [[image:nuage-de-mots (7).png||queryString="width=600&height=300" alt="nuage de mots avec https://nuagedemots.co/" height="150" width="300"]]
Mireille Blay-Fornarino 120.1 84
85
Mireille Blay-Fornarino 119.1 86 = (% class="wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink" %)Visualisation sous la forme d'un graphe des interactions entre les groupes(%%) =
87
88
Mireille Blay-Fornarino 121.1 89 {{yuml style="scruffy" scale="300" dir="TB"}}
Mireille Blay-Fornarino 119.1 90 [GLIA]Learn-Tests[MTV2]
91 [GLIA]*-*[Logiciel Eco-Responsable]
92 [GLIA]-[IE]
93 [GLIA]-GT CAVIAR[GDR IA{bg:wheat}]
94 [Debugging]-[CLAP]
95 [HIFI]-[GLIA]
96 [HIFI]-[GDR IA]
97 [HIFI]-[GDR IM{bg:wheat}]
98 [HIFI]-[IE]
99 [IE]-[GDR RSD{bg:wheat}]
100 [IE]-[GDR TAL{bg:wheat}]
101 [IE]-[GDR MADICS{bg:wheat}]
Mireille Blay-Fornarino 137.1 102 [IE]-[GDR IA]
103 [IE]-[GDR Sécurité{bg:wheat}]
104 [IE]-[MTV2]
Mireille Blay-Fornarino 119.1 105 [HIFI]-[LVP]
Mireille Blay-Fornarino 121.1 106 [MTV2]combinaison\n d'analyses statiques\n et dynamique-[LVP]
Mireille Blay-Fornarino 119.1 107 [MTV2]-[HIFI]
108 [CLAP]-[HIFI]
109 [CLAP]-CompilationCertifiée[LVP]
110 [GLIA]--[Sécurité]
111 [Sécurité]-[GDR Sécurité{bg:wheat}]
Mireille Blay-Fornarino 137.1 112 [Logiciel Eco-Responsable]-[IE]
Mireille Blay-Fornarino 119.1 113 [Logiciel Eco-Responsable]-Action Energie[GDR RSD]
114 [Logiciel Eco-Responsable]-GT Politiques environnementales du numérique [GDR CIS{bg:wheat}]
115 [Logiciel Eco-Responsable]-Thème Systèmes embarqués Durables [GDR SOC2{bg:wheat}]
116 [Vélocité Logicielle]-[GLIA]
117 [Vélocité Logicielle]-[MTV2]
118 [Vélocité Logicielle]-[Sécurité]
119 [IDM]-[IE]
120 [IDM]-[GLIA]
121 [IDM]-[Sécurité]
Mireille Blay-Fornarino 137.1 122 [IDM]-[Debugging]
Mireille Blay-Fornarino 119.1 123 [IDM]DSL-[CLAP]
124 [GLIA]-[LVP]
125 [LVP]-SCALP[GDR IM]
126 [LVP]-Méthodes formelles pour la sécurité[GDR Sécurité]
Mireille Blay-Fornarino 121.1 127 [CLAP]-méthodes et outils[GDR SOC2]
128 [YODA]-[GDR MACS{bg:wheat}]
129 [YODA]-[GDR RSD]
130 [YODA]-[MTV2]
131 [YODA]-[IDM]
132 [YODA]-[Vélocité Logicielle]
133 [YODA]-[HIFI]
134 [YODA]-[GLIA]
Mireille Blay-Fornarino 145.1 135 [AFSEC]-[HIFI]
136 [AFSEC]-[GLIA]
Mireille Blay-Fornarino 146.1 137 [AFSEC]-GT VSCPS&SED[GDR MACS]
Mireille Blay-Fornarino 119.1 138 {{/yuml}}