Post on 18-Jul-2015
La qualit logicielle
Track leader: Patrick Moreau, patrick.moreau@inria.fr
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