Wiki source code of Home

Last modified by Mireille Blay-Fornarino on 2022/07/14 20:08
Show last authors
1
2
3 >**Espace de travail **de la communauté du GDR Génie de la Programmation et du Logiciel (GPL)
4
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}}
8
9 (% class="box successmessage" %)
10 (((
11 **Vous souhaitez participer à un nouveau groupe de travail? Prenez contact les porteurs des groupes de travail.**
12 )))
13
14 = Equipes du GDR GPL =
15
16 [[Equipes du GDR>>doc:Maps.Equipes.WebHome]] (Carte interactive)
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
25 [[Equipes version textuelle>>https://gdrgpl.myxwiki.org/xwiki/bin/view/Maps/Equipes/?viewer=children]]
26
27 (% class="wikigeneratedid" %)
28 Les laboratoires impliqués :
29
30 * [[CEA List>>http://www-list.cea.fr/]]
31 * CEDRIC
32 * [[CITI>>http://www.citi-lab.fr/, ]]
33 * CRI
34 * CRIStAL
35 * ENAC
36 * [[FEMSTO-ST>>https://www.femto-st.fr/fr/L-institut/Presentation]]
37 * ICube
38 * [[I3S>>https://www.i3s.unice.fr/]]
39 * IMT Lille Douai
40 * [[Institut Pascal>>http://www.institutpascal.uca.fr/index.php/fr/]]
41 * IRISA
42 * [[IRIT>>https://www.irit.fr/]]
43 * LAAS
44 * LaBRI
45 * [[Lab-STICC>>https://www.labsticc.fr/en/francais/]]
46 * LACL
47 * LCIS
48 * LGI2P
49 * LIAS
50 * LIG
51 * [[LIFO>>https://www.univ-orleans.fr/lifo/]]
52 * LIMOS
53 * [[LIP>>http://www.ens-lyon.fr/LIP/]]
54 * LIP6
55 * LIRMM
56 * LISTIC
57 * LIUPPA
58 * LMF
59 * LORIA
60 * [[LRI>>https://www.lri.fr/index.php]]
61 * LS2N
62 * LTCI
63 * [[MICS>>http://mics.centralesupelec.fr/en]]
64 * ONERA
65 * SAMOVAR
66 * [[U2IS>>http://u2is.ensta-paris.fr/]] ENSTA
67 * [[VERIMAG>>https://www-verimag.imag.fr/?lang=fr]]
68
69 = Groupes de Travail en construction du GDR GPL =
70
71 {{documentTree root="document:Main.GTs.WebHome"/}}
72
73 = Les grands défis portés par les équipes du GDR GPL =
74
75
76 ~=> [[Document de synthèse >>https://hal.archives-ouvertes.fr/hal-03097727v1]]
77
78
79 * [[Vers des Logiciels Éco-responsables,  Le génie logiciel au défi de la sobriété écologique>>attach:GDR_GPL_2020___logiciels_verts.pdf]]
80 * [[Combinatoire certifiée>>attach:combinatoire_certifiee.pdf]]
81 * [[New Generation Debuggers>>attach:New Generation Debuggers.pdf]]
82 * [[La sécurité dans le développement logiciel>>attach:La sécurité dans le développement logiciel.pdf]]
83 * [[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]]
84 * [[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]]
85 * [[Safe and optimal component-based dynamic reconfiguration>>attach:Safe and optimal component-based dynamic reconfiguration]]
86 * [[Quelle argumentation pour des systèmes de confiance ?>>attach:Quelle argumentation pour des systèmes de confiance.pdf]]
87 * [[Génie Logiciel et Intelligence Artificielle>>attach:Génie Logiciel et Intelligence Artificielle.pdf]]
88 * [[Chaîne de compilation formellement certifiée>>attach:chaine_compilation_certifiee.pdf]]
89 * [[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]]
90 * [[Méthodes formelles pour la conception, la programmation et la vérification de systèmes critiques émergents>>attach:FM_systemes_emergents.pdf]]
91 * [[Permettre la programmation sans bug>>attach:Permettre la programmation sans bug]]
92
93 **[[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 wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink" %)**) **>>attach:Archive.zip]]
94
95 = (% class="wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink" %)Visualisation des thématiques du GDR sous la forme d'un nuage de mots(%%) =
96
97 {{warning}}
98 Travail en cours
99 {{/warning}}
100
101 [[image:wordcloud.png]]
102
103 (% style="text-align:center" %)
104 [[image:nuage-de-mots (7).png||queryString="width=600&height=300" alt="nuage de mots avec https://nuagedemots.co/" height="150" width="300"]]
105
106
107
108
109
110
111 = (% class="wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink" %)Visualisation sous la forme d'un graphe des interactions entre les groupes(%%) =
112
113
114 {{yuml style="scruffy" scale="300" dir="TB"}}
115 [GLIA]Learn-Tests[MTV2]
116 [GLIA]*-*[Logiciel Eco-Responsable]
117 [GLIA]-[IE]
118 [GLIA]-GT CAVIAR[GDR IA{bg:wheat}]
119 [Debugging]-[CLAP]
120 [HIFI]-[GLIA]
121 [HIFI]-[GDR IA]
122 [HIFI]-[GDR IM{bg:wheat}]
123 [HIFI]-[IE]
124 [IE]-[GDR RSD{bg:wheat}]
125 [IE]-[GDR TAL{bg:wheat}]
126 [IE]-[GDR MADICS{bg:wheat}]
127 [IE]-[GDR IA]
128 [IE]-[GDR Sécurité{bg:wheat}]
129 [IE]-[MTV2]
130 [HIFI]-[LVP]
131 [MTV2]combinaison\n d'analyses statiques\n et dynamique-[LVP]
132 [MTV2]-[HIFI]
133 [CLAP]-[HIFI]
134 [CLAP]-CompilationCertifiée[LVP]
135 [GLIA]--[Sécurité]
136 [Sécurité]-[GDR Sécurité{bg:wheat}]
137 [Logiciel Eco-Responsable]-[IE]
138 [Logiciel Eco-Responsable]-Action Energie[GDR RSD]
139 [Logiciel Eco-Responsable]-GT Politiques environnementales du numérique [GDR CIS{bg:wheat}]
140 [Logiciel Eco-Responsable]-Thème Systèmes embarqués Durables [GDR SOC2{bg:wheat}]
141 [Vélocité Logicielle]-[GLIA]
142 [Vélocité Logicielle]-[MTV2]
143 [Vélocité Logicielle]-[Sécurité]
144 [IDM]-[IE]
145 [IDM]-[GLIA]
146 [IDM]-[Sécurité]
147 [IDM]-[Debugging]
148 [IDM]DSL-[CLAP]
149 [GLIA]-[LVP]
150 [LVP]-SCALP[GDR IM]
151 [LVP]-Méthodes formelles pour la sécurité[GDR Sécurité]
152 [CLAP]-méthodes et outils[GDR SOC2]
153 [YODA]-[GDR MACS{bg:wheat}]
154 [YODA]-[GDR RSD]
155 [YODA]-[MTV2]
156 [YODA]-[IDM]
157 [YODA]-[Vélocité Logicielle]
158 [YODA]-[HIFI]
159 [YODA]-[GLIA]
160 [AFSEC]-[HIFI]
161 [AFSEC]-[GLIA]
162 [AFSEC]-GT VSCPS&SED[GDR MACS]
163 {{/yuml}}