Download - Owf 2013 rii intro moreau
Transcript
-
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