A la chasse au bug, la maladie du certain : Différence entre versions

De Sciencinfolycee
Aller à : navigation, rechercher
m (Remplacement du texte — « 5. Culture Scientifique » par « Culture Scientifique »)
Ligne 7 : Ligne 7 :
 
|SiloLangue=fre
 
|SiloLangue=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 ?
 
|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 ?
|Catégorie=5. Culture Scientifique
+
|Catégorie=Culture Scientifique
 
|Mots-clés contrôlés=objet numérique; bug; preuve de vérification sémantique;
 
|Mots-clés contrôlés=objet numérique; bug; preuve de vérification sémantique;
 
|SiloTypeDocumentaire=image en mouvement
 
|SiloTypeDocumentaire=image en mouvement

Version du 23 janvier 2012 à 12:43

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) 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 2011/06/08
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.