Site WWW de Laurent Bloch
Slogan du site

ISSN 2271-3905
Cliquez ici si vous voulez visiter mon autre site, orienté vers des sujets moins techniques.

Pour recevoir (au plus une fois par semaine) les nouveautés de ce site, indiquez ici votre adresse électronique :

Forum de l’article

L’informatique, tentative d’explication

modération a priori

Ce forum est modéré a priori : votre contribution n’apparaîtra qu’après avoir été validée par un administrateur du site.

Qui êtes-vous ?
Votre message

Pour créer des paragraphes, laissez simplement des lignes vides.

Lien hypertexte

(Si votre message se réfère à un article publié sur le Web, ou à une page fournissant plus d’informations, vous pouvez indiquer ci-après le titre de la page et son adresse.)

Rappel de la discussion
L’informatique, tentative d’explication
sqlpro - le 30 janvier 2023

Il me semble que la ligne 14 c’est du eiffel et non du ada... mais il est vrai que eiffel est l’héritier objet de ada...

L’informatique, tentative d’explication
Laurent Bloch - le 30 janvier 2023

Un article de ce site fait référence à la revue Technique et science informatique, qui dans son volume 22 (numéro 1 de 2003) dirigé par Véronique Viguié-Donzeau-Gouge, Didier Bert et Henri Habrias, a publié un article de Daniel Dollé, Didier Essamé et Jérôme Falampin consacré à l’écriture du logiciel de contrôle et de pilotage de la ligne de métro sans conducteur METEOR construite par Siemens à Paris. On y apprend que le noyau de sécurité de ce logiciel a été développé par la méthode B, qui consiste à élaborer la preuve de la correction du programme en même temps que son code, ce qui fournit une démonstration formelle de justesse. Avec la méthode B on écrit en langage Z, qui compile vers Ada. Bon, ceci ne concerne que le noyau de sécurité du logiciel, le reste a peut-être été écrit en Eiffel. Et depuis 2003 les choses ont pu changer.

Derniers commentaires

Une illustration de la concurrence monopolistique
Attention : les GPU sont très forts en produits scalaires, (en multiplication de matrices par (...)

Python
"on dit plutôt maintenant développeurs" ... Il y a (au moins) deux expressions qui (...)

À la Commission de développement de l’informatique du Ministère des Finances
Article tout aussi instructif que plaisant à lire. On pensera aussi à "Comédies Françaises", (...)

À la Commission de développement de l’informatique du Ministère des Finances
Dans le style qui t’est caractéristique, j’avoue que j’ai bien aimé ! J’ai même eu l’occasion (...)

Informatique confidentielle
La clé pour comprendre est peut-être qu’il s’agit ici de "machine virtuelle" et non de (...)