Notice bibliographique
- Notice
Type(s) de contenu et mode(s) de consultation : Texte noté : sans médiation
Auteur(s) : Leroy, Xavier (1968-....)
Titre(s) : Le logiciel entre l'esprit et la matière [Texte imprimé] / Xavier Leroy,...
Publication : Paris : Collège de France, DL 2024
Impression : 14-Condé-en-Normandie : Impr. Corlet
Description matérielle : 1 vol. (60 p.) ; 19 cm
Collection : Leçons inaugurales du Collège de France, ISSN 0294-0310 ; n° 284
Lien à la collection : Leçon inaugurale (Collège de France)
Note(s) : Reproduction à l'identique de l'éd. de Paris, Collège de France et Fayard, 2019. -
Leçon inaugurale prononcée le jeudi 15 novembre 2018 dans le cadre de la chaire Sciences
du logiciel
Identifiants, prix et caractéristiques : ISBN 978-2-7226-0704-0 (br.) : 12 EUR
EAN 9782722607040
Identifiant de la notice : ark:/12148/cb476244030
Notice n° :
FRBNF47624403
Résumé : Un même matériel informatique peut remplir de nombreuses fonctions différentes par
simple changement du logiciel qu'il exécute. Cette extraordinaire plasticité a permis
à l'ordinateur de sortir des centres de calcul et de se répandre partout, des objets
du quotidien aux infrastructures de la cité. Quels concepts fondamentaux sous-tendent
cette prouesse technique ? Comment maîtriser l'incroyable et souvent effrayante complexité
du logiciel ? Comment éviter les « bugs » de programmation et résister aux attaques
? Comment établir qu'un logiciel est digne de confiance ? À ces questions, la logique
mathématique offre des éléments de réponse qui permettent de construire une approche
scientifiquement rigoureuse du logiciel. [source éditeur]
