Upload
patrick-moreau
View
75
Download
0
Embed Size (px)
Citation preview
La qualit logicielle
Track leader: Patrick Moreau, [email protected]
Rencontre Inria Industrie
Plan 9:00 - Ouverture, par Isabelle Ryl 09:10 - Introduction scientifique, par Xavier Leroy 09:30 - Savoir-faire et logiciels open source
Coccinelle par Julia Lawall / Gilles Muller Moose par Usman Bhatti Why par Andrei Paskevich veriT par Pascal Fontaine Alt-Ergo par Sylvain Conchon
10:30 - Rendez-vous personnaliss avec les chercheurs
Diapo 1Diapo 2Diapo 3Diapo 4