Descripteurs
> 3505 technologie > technologie > fonction technique > contrôle
contrôleSynonyme(s)vérificationVoir aussi |
Documents disponibles dans cette catégorie (3)
Ajouter le résultat dans votre panier Affiner la recherche
Entretien avec Xavier Leroy : "En informatique la notion de confiance est fondamentale" / Xavier Leroy / Sophia Publications (2019) in La Recherche (Paris. 1970), 548 (06/2019)
[article]
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)
in La Recherche (Paris. 1970) > 548 (06/2019)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] Entretien avec Xavier Leroy : "En informatique la notion de confiance est fondamentale" [texte imprimé] / Xavier Leroy, Personne interviewée ; Philippe Pajot, Intervieweur . - Sophia Publications, 2019 . - p.4-8.
Bibliographie.
Langues : Français (fre)
in La Recherche (Paris. 1970) > 548 (06/2019)
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 Evaluer la fiabilté d'une information sur Internet / Sandrine Leturcq in Inter CDI, 221 (septembre 2009)
[article]
Titre : Evaluer la fiabilté d'une information sur Internet : Dossier Internet Type de document : texte imprimé Auteurs : Sandrine Leturcq, Auteur Année : 2009 Article : p.91-92
in Inter CDI > 221 (septembre 2009)Descripteurs : contrôle / Internet / recherche de l'information Résumé : Fiabilité des informations sur les sites Internet : l'adresse URL, pertinence du document, identification de l'auteur, validité des données, public visé. Nature du document : documentaire [article] Evaluer la fiabilté d'une information sur Internet : Dossier Internet [texte imprimé] / Sandrine Leturcq, Auteur . - 2009 . - p.91-92.
in Inter CDI > 221 (septembre 2009)
Descripteurs : contrôle / Internet / recherche de l'information Résumé : Fiabilité des informations sur les sites Internet : l'adresse URL, pertinence du document, identification de l'auteur, validité des données, public visé. Nature du document : documentaire Faut-il réguler l'usage des algorithmes ? / Dominique Cardon / Sophia Publications (2016) in La Recherche (Paris. 1970), 511 (05/2016)
[article]
Titre : Faut-il réguler l'usage des algorithmes ? Type de document : texte imprimé Auteurs : Dominique Cardon, Auteur ; Mouloud Dey, Auteur ; Vincent Glavieux Editeur : Sophia Publications, 2016 Article : p.86 Langues : Français (fre)
in La Recherche (Paris. 1970) > 511 (05/2016)Descripteurs : algorithme / contrôle Résumé : Présentation de deux points de vue opposés sur l'usage des algorithmes. Le chercheur sociologue Dominique Cardon qui est partisan de la régulation. Mouloud Dey, directeur chez SAS, une entreprise d'analytique informatique, qui montre l'utilité des algorithmes et préconise plus de transparence sur leur fonctionnement. Nature du document : documentaire Genre : Article de périodique/Débat, controverse [article] Faut-il réguler l'usage des algorithmes ? [texte imprimé] / Dominique Cardon, Auteur ; Mouloud Dey, Auteur ; Vincent Glavieux . - Sophia Publications, 2016 . - p.86.
Langues : Français (fre)
in La Recherche (Paris. 1970) > 511 (05/2016)
Descripteurs : algorithme / contrôle Résumé : Présentation de deux points de vue opposés sur l'usage des algorithmes. Le chercheur sociologue Dominique Cardon qui est partisan de la régulation. Mouloud Dey, directeur chez SAS, une entreprise d'analytique informatique, qui montre l'utilité des algorithmes et préconise plus de transparence sur leur fonctionnement. Nature du document : documentaire Genre : Article de périodique/Débat, controverse