SlideShare une entreprise Scribd logo
1  sur  4
Télécharger pour lire hors ligne
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 personnalisés avec les chercheurs
Owf 2013 rii intro moreau

Contenu connexe

En vedette

Atelier J1 #vem5 9 exemples à décortiquer et révélateurs des tendances dans l...
Atelier J1 #vem5 9 exemples à décortiquer et révélateurs des tendances dans l...Atelier J1 #vem5 9 exemples à décortiquer et révélateurs des tendances dans l...
Atelier J1 #vem5 9 exemples à décortiquer et révélateurs des tendances dans l...Salon e-tourisme #VeM
 
Atelier I9 La mutualisation dans les stratégies numériques : ça marche !!!
Atelier I9 La mutualisation dans les stratégies numériques : ça marche !!!Atelier I9 La mutualisation dans les stratégies numériques : ça marche !!!
Atelier I9 La mutualisation dans les stratégies numériques : ça marche !!!Salon e-tourisme #VeM
 
Webinar: Cómo mantener una base de datos saludable
Webinar: Cómo mantener una base de datos saludableWebinar: Cómo mantener una base de datos saludable
Webinar: Cómo mantener una base de datos saludableMasterBase®
 
error del sistema, un comic SecondLife
error del sistema, un comic SecondLifeerror del sistema, un comic SecondLife
error del sistema, un comic SecondLifeItx
 
L’analytique de données pour les PME : les mythes et les faits
L’analytique de données pour les PME : les mythes et les faitsL’analytique de données pour les PME : les mythes et les faits
L’analytique de données pour les PME : les mythes et les faitsDeloitte Canada
 
#Restful really ? ElsassJUG 17 juin 2014
#Restful really ? ElsassJUG 17 juin 2014#Restful really ? ElsassJUG 17 juin 2014
#Restful really ? ElsassJUG 17 juin 2014Xavier Carpentier
 
Novembre 2014 à la Coupole Saint-Louis
Novembre 2014 à la Coupole Saint-LouisNovembre 2014 à la Coupole Saint-Louis
Novembre 2014 à la Coupole Saint-LouisBâle Région Mag
 
Atelier E6 Organisation et management numérique dans les entreprises touristi...
Atelier E6 Organisation et management numérique dans les entreprises touristi...Atelier E6 Organisation et management numérique dans les entreprises touristi...
Atelier E6 Organisation et management numérique dans les entreprises touristi...Salon e-tourisme #VeM
 
Twitter What are you doing?
Twitter What are you doing?Twitter What are you doing?
Twitter What are you doing?Espacio Público
 
Quierovolveraconfiar
QuierovolveraconfiarQuierovolveraconfiar
Quierovolveraconfiaralejandrocant
 
La Cancion Africana2
La Cancion Africana2La Cancion Africana2
La Cancion Africana2Pau Porcel
 
Coopération Barreur Equipier - Etude de cas
Coopération Barreur Equipier - Etude de casCoopération Barreur Equipier - Etude de cas
Coopération Barreur Equipier - Etude de casCREPS de Montpellier
 
Bandera De Andalucia Capitulo 1
Bandera De Andalucia Capitulo 1Bandera De Andalucia Capitulo 1
Bandera De Andalucia Capitulo 1cosasdeandalucia
 
Que déléguer à son assistant virtuel, quand on est E-commerçant !
Que déléguer à son assistant virtuel, quand on est E-commerçant !Que déléguer à son assistant virtuel, quand on est E-commerçant !
Que déléguer à son assistant virtuel, quand on est E-commerçant !Smartelia
 

En vedette (19)

Atelier J1 #vem5 9 exemples à décortiquer et révélateurs des tendances dans l...
Atelier J1 #vem5 9 exemples à décortiquer et révélateurs des tendances dans l...Atelier J1 #vem5 9 exemples à décortiquer et révélateurs des tendances dans l...
Atelier J1 #vem5 9 exemples à décortiquer et révélateurs des tendances dans l...
 
Atelier I9 La mutualisation dans les stratégies numériques : ça marche !!!
Atelier I9 La mutualisation dans les stratégies numériques : ça marche !!!Atelier I9 La mutualisation dans les stratégies numériques : ça marche !!!
Atelier I9 La mutualisation dans les stratégies numériques : ça marche !!!
 
Webinar: Cómo mantener una base de datos saludable
Webinar: Cómo mantener una base de datos saludableWebinar: Cómo mantener una base de datos saludable
Webinar: Cómo mantener una base de datos saludable
 
error del sistema, un comic SecondLife
error del sistema, un comic SecondLifeerror del sistema, un comic SecondLife
error del sistema, un comic SecondLife
 
FUTURE GLOBAL VISION ARGENTINA BOLIVIA 2017
FUTURE GLOBAL VISION ARGENTINA BOLIVIA 2017FUTURE GLOBAL VISION ARGENTINA BOLIVIA 2017
FUTURE GLOBAL VISION ARGENTINA BOLIVIA 2017
 
L’analytique de données pour les PME : les mythes et les faits
L’analytique de données pour les PME : les mythes et les faitsL’analytique de données pour les PME : les mythes et les faits
L’analytique de données pour les PME : les mythes et les faits
 
#Restful really ? ElsassJUG 17 juin 2014
#Restful really ? ElsassJUG 17 juin 2014#Restful really ? ElsassJUG 17 juin 2014
#Restful really ? ElsassJUG 17 juin 2014
 
Café du Web: les widgets
Café du Web: les widgetsCafé du Web: les widgets
Café du Web: les widgets
 
Novembre 2014 à la Coupole Saint-Louis
Novembre 2014 à la Coupole Saint-LouisNovembre 2014 à la Coupole Saint-Louis
Novembre 2014 à la Coupole Saint-Louis
 
Presentación Proyecto UAPresencia
Presentación Proyecto UAPresenciaPresentación Proyecto UAPresencia
Presentación Proyecto UAPresencia
 
rare
rarerare
rare
 
Atelier E6 Organisation et management numérique dans les entreprises touristi...
Atelier E6 Organisation et management numérique dans les entreprises touristi...Atelier E6 Organisation et management numérique dans les entreprises touristi...
Atelier E6 Organisation et management numérique dans les entreprises touristi...
 
Twitter What are you doing?
Twitter What are you doing?Twitter What are you doing?
Twitter What are you doing?
 
Quierovolveraconfiar
QuierovolveraconfiarQuierovolveraconfiar
Quierovolveraconfiar
 
20091008 Costa Rica
20091008 Costa Rica20091008 Costa Rica
20091008 Costa Rica
 
La Cancion Africana2
La Cancion Africana2La Cancion Africana2
La Cancion Africana2
 
Coopération Barreur Equipier - Etude de cas
Coopération Barreur Equipier - Etude de casCoopération Barreur Equipier - Etude de cas
Coopération Barreur Equipier - Etude de cas
 
Bandera De Andalucia Capitulo 1
Bandera De Andalucia Capitulo 1Bandera De Andalucia Capitulo 1
Bandera De Andalucia Capitulo 1
 
Que déléguer à son assistant virtuel, quand on est E-commerçant !
Que déléguer à son assistant virtuel, quand on est E-commerçant !Que déléguer à son assistant virtuel, quand on est E-commerçant !
Que déléguer à son assistant virtuel, quand on est E-commerçant !
 

Plus de Patrick MOREAU

Aristote reproductibilite des resultats
Aristote reproductibilite des resultatsAristote reproductibilite des resultats
Aristote reproductibilite des resultatsPatrick MOREAU
 
Captronic grenoble 01102014 version presentee
Captronic grenoble 01102014 version presenteeCaptronic grenoble 01102014 version presentee
Captronic grenoble 01102014 version presenteePatrick MOREAU
 
Owf 2013 rii why paskevich speaker3
Owf 2013 rii why paskevich speaker3Owf 2013 rii why paskevich speaker3
Owf 2013 rii why paskevich speaker3Patrick MOREAU
 
Owf 2013 rii veri t fontaine speaker4
Owf 2013 rii veri t fontaine speaker4Owf 2013 rii veri t fontaine speaker4
Owf 2013 rii veri t fontaine speaker4Patrick MOREAU
 
Owf 2013 rii panorama leroy
Owf 2013 rii panorama leroyOwf 2013 rii panorama leroy
Owf 2013 rii panorama leroyPatrick MOREAU
 
Owf 2013 rii coccinelle muller speaker 1
Owf 2013 rii coccinelle muller speaker 1Owf 2013 rii coccinelle muller speaker 1
Owf 2013 rii coccinelle muller speaker 1Patrick MOREAU
 
Owf 2013 rii alter go speaker 5
Owf 2013 rii alter go speaker 5 Owf 2013 rii alter go speaker 5
Owf 2013 rii alter go speaker 5 Patrick MOREAU
 
Owf 2013 rii moose speaker 2
Owf 2013 rii moose speaker 2Owf 2013 rii moose speaker 2
Owf 2013 rii moose speaker 2Patrick MOREAU
 

Plus de Patrick MOREAU (8)

Aristote reproductibilite des resultats
Aristote reproductibilite des resultatsAristote reproductibilite des resultats
Aristote reproductibilite des resultats
 
Captronic grenoble 01102014 version presentee
Captronic grenoble 01102014 version presenteeCaptronic grenoble 01102014 version presentee
Captronic grenoble 01102014 version presentee
 
Owf 2013 rii why paskevich speaker3
Owf 2013 rii why paskevich speaker3Owf 2013 rii why paskevich speaker3
Owf 2013 rii why paskevich speaker3
 
Owf 2013 rii veri t fontaine speaker4
Owf 2013 rii veri t fontaine speaker4Owf 2013 rii veri t fontaine speaker4
Owf 2013 rii veri t fontaine speaker4
 
Owf 2013 rii panorama leroy
Owf 2013 rii panorama leroyOwf 2013 rii panorama leroy
Owf 2013 rii panorama leroy
 
Owf 2013 rii coccinelle muller speaker 1
Owf 2013 rii coccinelle muller speaker 1Owf 2013 rii coccinelle muller speaker 1
Owf 2013 rii coccinelle muller speaker 1
 
Owf 2013 rii alter go speaker 5
Owf 2013 rii alter go speaker 5 Owf 2013 rii alter go speaker 5
Owf 2013 rii alter go speaker 5
 
Owf 2013 rii moose speaker 2
Owf 2013 rii moose speaker 2Owf 2013 rii moose speaker 2
Owf 2013 rii moose speaker 2
 

Owf 2013 rii intro moreau

  • 1.
  • 2. La qualité logicielle Track leader : Patrick Moreau, patrick.moreau@inria.fr Rencontre Inria Industrie
  • 3. 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 personnalisés avec les chercheurs