A la chasse au bug, la maladie du certain

De Sciencinfolycee
Révision datée du 19 octobre 2011 à 21:23 par Fdufour (discussion | contributions) (Remplacement du texte — « 5. Grains de mécsci » par « 5. Culture Scientifique »)
Aller à : navigation, rechercher
Section Description
URL http://www.cite-sciences.fr/momindum-kbase/watch/110608-berry
Titre À la chasse au bug, la maladie du certain
Auteur(s) Berry, Gérard
Fonction(s) auteur
Icone Illustrative http://www.cite-sciences.fr/momindum-kbase/documents/204/1 medium.jpg
Notes
Section Analyse
Langue fre
Résumé Le bug, qu’est ce que c’est ? Un problème potentiel majeur de tout circuit ou logiciel informatique, intrinsèquement dû à l’exactitude obstinée des calculs des ordinateurs. Pourquoi les effets de bugs minuscules peuvent-ils devenir aussi grandioses ? Comment trouver les bugs avant même d’exécuter les programmes ? Pourra-t-on concevoir des modes de calcul automatiques moins sensibles par nature à ces bugs sournois ?
Sélection(s) thématique(s) 5. Culture Scientifique
Mots-clés normalisés objet numérique ; bug ; preuve de vérification sémantique
Proposition autres mots-clés
Type documentaire image en mouvement
Typologie Générale conférence
Date de publication 1970/01/01
Structure du document atomique
Niveau d'agrégation 1.Le plus petit niveau (grain)
Exigences techniques
Durée (en min) 1h32
Section Pédagogie
Type pédagogique
Public cible apprenant
Utilisation pédagogique
Section Droits
Droits du document
Section processus de validation (workflow)
Intervenants vthierry; DB
Statut du workflow publiée

Signaler cette ressource. Si ce lien de signalement ne fonctionne pas (ouverture intempestive d'un mailer alors que vous utilisez un webmail) c'est qu'il vous manque l'extension idoine dans votre navigateur (par exemple l'extension send-mail pour firefox); c'est une bonne occasion de l'installer.