Le logiciel, entre l’esprit et la matière - Inria - Institut national de recherche en sciences et technologies du numérique
Books Year : 2019

Le logiciel, entre l’esprit et la matière

Abstract

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.
Fichier principal
Vignette du fichier
Leroy-lecon-inaugurale-chapitre.pdf (408.68 Ko) Télécharger le fichier
Origin Explicit agreement for this submission
Loading...

Dates and versions

hal-02405754 , version 1 (11-12-2019)

Identifiers

  • HAL Id : hal-02405754 , version 1

Cite

Xavier Leroy. Le logiciel, entre l’esprit et la matière. OpenEdition Books, 2019, 9782722605299. ⟨hal-02405754⟩
849 View
671 Download

Share

More