Wiki source code of Home
Version 100.3 by Mireille Blay-Fornarino on 2020/07/01 08:35
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 | |||
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 wikiattachmentlink wikiattachmentlink" %)**) **>>attach:Archive.zip]] | ||
45 | |||
46 | |||
47 | (% class="wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink wikiattachmentlink" %)**Visualisation sous la forme d'un graphe des interactions entre les groupes** | ||
48 | |||
49 | |||
50 | {{yuml __cke_selected_macro="true"}} | ||
51 | {{yuml}} | ||
52 | [Customer]+1->*[Order] | ||
53 | [Order]++1-items >*[LineItem] | ||
54 | [Order]-0..1>[PaymentMethod] | ||
55 | {{/yuml}} | ||
56 | {{/yuml}} |