Le logiciel : entre l'esprit et la matière
Enregistré dans:
Auteur principal: | Leroy, Xavier, 1968- |
---|---|
Support: | E-Book |
Langue: | Français |
Publié: |
Paris :
Collège de France.
2019.
Paris : Cyberlibris, |
Sujets: | |
Autres localisations: | Voir dans le Sudoc |
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 |
Accès en ligne: | Accès à l'E-book |
Lien: | Autre support:
Le logiciel |
Documents similaires
-
Le génie logiciel
par: Printz, Jacques.
Publié: 1995 -
Logiciels libres : même en bibliothèque !
par: Roumieux, Olivier.
Publié: 2003 -
Génie logiciel
par: Gustafson, David A.
Publié: 2003 -
Pratique des tests logiciels : améliorer la qualité par les tests : préparer la certification ISTQB
par: Pradat-Peyre, Jean-François.
Publié: 2017 -
Logiciels documentaires et logiciels d'archives : deux enquêtes [Dossier].
Publié: 2001