Une présentation des fondements des sciences du logiciel qui évoque notamment les principes mathématiques permettant de construire et de vérifier leur fiabilité. Cette discipline, visant à trouver des approches rigoureuses en mesure d'améliorer la sécurité des logiciels, nécessite le développement de langages informatiques simplifiés. ©Electre 2024
Chaire sciences du logiciel
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.
Paru le : 24/04/2019
Thématique : Essais Scientifiques Essais Scientifiques
Auteur(s) : Auteur : Xavier Leroy
Éditeur(s) :
Fayard
Collège de France
Collection(s) : Leçons inaugurales du Collège de France
Série(s) : Non précisé.
ISBN : 978-2-213-71241-3
EAN13 : 9782213712413
Reliure : Broché
Pages : 60
Hauteur: 19.0 cm / Largeur 12.0 cm
Épaisseur: 0.8 cm
Poids: 86 g
Carte fidélité
Mollat Radio
