Une présentation des fondements des sciences du logiciel, dans laquelle l'auteur é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 2025
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 : 27/11/2024
Thématique : Langages de programmation
Auteur(s) : Auteur : Xavier Leroy
Éditeur(s) :
Collège de France
Collection(s) : Leçons inaugurales du Collège de France
Série(s) : Non précisé.
ISBN : 978-2-7226-0704-0
EAN13 : 9782722607040
Reliure : Broché
Pages : 60
Hauteur: 19.0 cm / Largeur 12.0 cm
Épaisseur: 0.7 cm
Poids: 90 g
Carte fidélité
Mollat Radio
