Last modified by Aurélie Hurault on 2020/07/30 12:06
From version 17.1
edited by Sylvain Conchon
on 2020/06/10 21:42
Change comment: There is no comment for this version
To version 18.1
edited by Sylvain Conchon
on 2020/06/10 22:32
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -48,7 +48,7 @@
48 48  === (% style="color:#434343; font-family:Arial; font-size:14pt; font-style:normal; font-variant:normal; font-weight:400; text-decoration:none; white-space:pre-wrap" %)Interactions(%%) ===
49 49  
50 50  (% style="line-height:1.656; margin-top:16px; margin-bottom:16px" %)
51 -(% style="color:#000000; font-family:Arial; font-size:11pt; font-style:normal; font-variant:normal; font-weight:400; text-decoration:none; white-space:pre-wrap" %)Ce GT est, en parti, issu de l'ancien GT MFDL (Méthodes Formelles dans le Développement Logiciel).  Les collaborations existantes entre le GT MFDL et les GT MTV2 (Méthodes de test pour la validation et la vérification) et AFSEC (Approches Formelles des Systèmes Embarqués Communicants) continueront, si ces groupes sont reconduits.
51 +(% style="color:#000000; font-family:Arial; font-size:11pt; font-style:normal; font-variant:normal; font-weight:400; text-decoration:none; white-space:pre-wrap" %)Ce GT est, en parti, issu de l'ancien GT MFDL (Méthodes Formelles dans le Développement Logiciel).  Les collaborations existantes entre le GT MFDL et le GT AFSEC (Approches Formelles des Systèmes Embarqués Communicants) continueront, si ces groupes sont reconduits.
52 52  
53 53  (% style="line-height:1.656; margin-top:16px; margin-bottom:16px" %)
54 54  (% style="color:#000000; font-family:Arial; font-size:11pt; font-style:normal; font-variant:normal; font-weight:400; text-decoration:none; white-space:pre-wrap" %)Les réunions annuelles / visios conférences pourront être communes avec d'autres groupes du GDR GPL notamment :
... ... @@ -57,6 +57,7 @@
57 57  * (% style="color:#000000; font-family:Arial; font-size:11pt; font-style:normal; font-variant:normal; font-weight:400; text-decoration:none; white-space:pre-wrap" %)GT compilation
58 58  * (% style="color:#000000; font-family:Arial; font-size:11pt; font-style:normal; font-variant:normal; font-weight:400; text-decoration:none; white-space:pre-wrap" %)GT Ingénierie des Exigences (IE)
59 59  * (% style="color:#000000; font-family:Arial; font-size:11pt; font-style:normal; font-variant:normal; font-weight:400; text-decoration:none; white-space:pre-wrap" %)GT Langages et Vérification de Programmes (LVP)
60 +* (% style="color:#000000; font-family:Arial; font-size:11pt; font-style:normal; font-variant:normal; font-weight:400; text-decoration:none; white-space:pre-wrap" %)GT Méthodes de test pour la validation et la vérification (MTV2)
60 60  
61 61  (% style="line-height:1.656; margin-top:16px; margin-bottom:16px" %)
62 62  (% style="color:#000000; font-family:Arial; font-size:11pt; font-style:normal; font-variant:normal; font-weight:400; text-decoration:none; white-space:pre-wrap" %)voir avec d'autres GDR :