Logo Ordinateurs–de–Vote.org Citoyens et informaticiens
pour un vote vérifié par l'électeur

Accueil du site > Temporaire > Le mythe de l’infaillibilité des ordinateurs > Le mythe de la non-fiabilité des programmes > Poster un message

Poster un message

En réponse à :

  • Le mythe de la non-fiabilité des programmes

    30 mars 2007 13:32, par Mathias Peron
    Une grande partie de l’industrie du logiciel nous a, en effet, habitué à la non-fiabilité de ses produits.
    Fort heureusement ce n’est pas le cas pour tous les logiciels, notamment ceux qui permettent le pilotage des centrales électrique et nucléaire, ou encore des logiciels pour l’avionique ou le spatial.
    Certes la première ariane 5 se crache au milieu des années 1990. Cet événement a eu pour conséquence le début d’un grand effort de recherche sur la vérification formelle des programmes informatiques. Par exemple une concrétisation de cet effort, parmi tant d’autre, est l’analyseur (...)

modération à priori

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

Un message, un commentaire ?
  • (Pour créer des paragraphes, laissez simplement des lignes vides.)

Qui êtes-vous ? (optionnel)


Suivre la vie du site Syndication/fil RSS 2.0 (explications) | Plan du site | Espace privé | SPIP