Le logiciel, entre lesprit et la matière.pdf

Le logiciel, entre lesprit et la matière PDF

Xavier Leroy

Chaire Sciences du logiciel Un même matériel informatique peut remplir de nombreuses fonctions différentes par simple changement du logiciel quil exécute. Cette extraordinaire plasticité a permis à lordinateur 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 lincroyable et souvent effrayante complexité du logiciel ? Comment éviter les bugs de programmation et résister aux attaques ? Comment établir quun logiciel est digne de confiance ? A ces questions, la logique mathématique offre des éléments de réponse qui permettent de construire une approche scientifiquement rigoureuse du logiciel. Xavier Leroy est informaticien, spécialiste des langages et outils de programmation. Il est lun des auteurs du langage OCaml et du compilateur formellement vérifié CompCert. Auparavant chercheur à lInria, il a été nommé professeur au Collège de France, titulaire de la chaire Sciences du logiciel, en mai 2018.

9 nov. 2009 ... Or, et jusqu'à preuve du contraire, le scientifique possède une conscience, un esprit. Les résultats du GCP nous montrent justement que l'être ...

9.15 MB Taille du fichier
9782213712413 ISBN
Le logiciel, entre lesprit et la matière.pdf

Technik

PC et Mac

Lisez l'eBook immédiatement après l'avoir téléchargé via "Lire maintenant" dans votre navigateur ou avec le logiciel de lecture gratuit Adobe Digital Editions.

iOS & Android

Pour tablettes et smartphones: notre application de lecture tolino gratuite

eBook Reader

Téléchargez l'eBook directement sur le lecteur dans la boutique www.cocoasharp.org ou transférez-le avec le logiciel gratuit Sony READER FOR PC / Mac ou Adobe Digital Editions.

Reader

Après la synchronisation automatique, ouvrez le livre électronique sur le lecteur ou transférez-le manuellement sur votre appareil tolino à l'aide du logiciel gratuit Adobe Digital Editions.

Notes actuelles

avatar
Sofya Voigtuh

24/04/2019 · Le Logiciel : entre l'esprit et la matière. Onglets Livre. Description. Xavier LEROY est à l’origine de CompCert, compilateur C certifié, qui autorise une vérification formelle d’une taille et d’une complexité sans précédent : la certification et la vérification automatique des chaînes logicielles qu'il permet ont fait progresser la programmation « zéro défaut ». Ce fait d Le Logiciel : entre l'esprit et la matière Entre l'esprit ...

avatar
Mattio Müllers

Le Logiciel : entre l'esprit et la matière de Xavier Leroy ...

avatar
Noels Schulzen

26 oct. 2016 ... Une application ("appli") peut être une œuvre de l'esprit à laquelle sont ... de l' œuvre, pourvu que chacune d'entre elles présente une forme originale. ... Toutefois, l'originalité du ...

avatar
Jason Leghmann

ebook Le Logiciel : entre l'esprit et la matière de Xavier ...

avatar
Jessica Kolhmann

Notice bibliographique Le logiciel entre l'esprit et la ... Titre(s) : Le logiciel entre l'esprit et la matière [Texte imprimé] / Xavier Leroy, Publication : [Paris] : Collège de France : Fayard, DL 2019. Impression : (95-Domont : Dupli-print) Description matérielle : 1 vol. (60 p.) ; 19 cm. Collection : (Leçons inaugurales du Collège de France ; n° 284) Lien à la collection : Leçon inaugurale - Collège de France Voir toutes les notices