BASE DE DONNÉES
DES REVUES DE LA FDE
Liste des revues dépouillées
de la Faculté d'Éducation de l'Académie de Montpellier.
Pour connaître la disponibilité d'un numéro, reportez vous au catalogue BIU
CRD11
CRD30
CRD34
CRD48
CRD66
A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur Xavier Leroy |
Documents disponibles écrits par cet auteur
Affiner la recherche
Entretien avec Xavier Leroy : "En informatique la notion de confiance est fondamentale" / Xavier Leroy 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 Année de publication : 2019 Article en page(s) : p.4-8 Note générale : Bibliographie. Langues : Français Mots-clés : 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.
in La Recherche (Paris. 1970) > 548 (06/2019) . - p.4-8[article] Entretien avec Xavier Leroy : "En informatique la notion de confiance est fondamentale" [texte imprimé] / Xavier Leroy, Personne interviewée ; Philippe Pajot, Intervieweur . - 2019 . - p.4-8.
Bibliographie.
Langues : Français
in La Recherche (Paris. 1970) > 548 (06/2019) . - p.4-8
Mots-clés : 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.