Des consommateurs lanceurs d'alerte / Cécile Prudhomme / Le Monde Editions (2019) in Le Monde, 23080 (26/03/2019)

[article]  inLe Monde > 23080 (26/03/2019) Titre : Des consommateurs lanceurs d'alerte Type de document : texte imprimé Auteurs : Cécile Prudhomme, Auteur Editeur : Le Monde Editions, 2019 Article : p.15 Langues : Français (fre) Descripteurs : conformité / contrôle / procédure de sécurité Mots-clés : sécurité sanitaire des aliments Résumé : Dossier consacré à la surveillance des produits de consommation et au signalement de leur non-conformité. Présentation du dispositif gouvernemental d’alerte SignalConso expérimenté dans la région Centre-Val-de-Loire ; l’objectif de transformer les citoyens en lanceurs d’alerte sanitaires ; le projet d’un site internet recensant les produits faisant l’objet de rappel ; l’augmentation des procédures de retrait-rappel ; la gestion des signalements par la Direction générale de la concurrence, de la consommation et de la répression des fraudes (DGCCRF) ; le manque d’information des consommateurs ; les perspectives de signalements plus faciles et plus rapides. Présentation du bilan annuel de l’activité de la DGCCRF. Nature du document : documentaire Genre : Article de périodique [article]

Entretien avec Xavier Leroy : "En informatique la notion de confiance est fondamentale" / Xavier Leroy / Sophia Publications (2019) in La recherche, 548 (juin 2019)

[article]  inLa recherche > 548 (juin 2019) Titre : Entretien avec Xavier Leroy : "En informatique la notion de confiance est fondamentale" Type de document : texte imprimé Auteurs : Xavier Leroy, Personne interviewée ; Philippe Pajot, Intervieweur Editeur : Sophia Publications, 2019 Article : p.4-8 Note générale : Bibliographie. Langues : Français (fre) Descripteurs : contrôle / langage de programmation Résumé : Entretien avec Xavier Leroy, responsable de la chaire sciences du logiciel au Collège de France et spécialiste de la sémantique des langages informatiques, à propos de la vérification des logiciels : la définition d'un programme, le rôle des langages ; ses travaux de recherche avec la création du langage OCaml ; l'utilisation de méthode formelle de vérification des programmes afin de les sécuriser (cas de l'échec du premier vol du lanceur Ariane 5). Encadré : éléments biographiques. Nature du document : documentaire Genre : Article de périodique/Entretien, interview [article]