A la chasse au bug, la maladie du certain : Différence entre versions
De Sciencinfolycee
(Page créée avec « {{Ressource |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; |SiloRole=auteur;... ») |
|||
Ligne 2 : | Ligne 2 : | ||
|URL=http://www.cite-sciences.fr/momindum-kbase/watch/110608-berry | |URL=http://www.cite-sciences.fr/momindum-kbase/watch/110608-berry | ||
|Titre=À la chasse au bug, la maladie du certain | |Titre=À la chasse au bug, la maladie du certain | ||
− | |Auteur(s)=Berry, Gérard; | + | |Auteur(s)=Berry, Gérard; |
− | |SiloRole=auteur; | + | |SiloRole=auteur; |
|SiloIconeIllustrative=http://www.cite-sciences.fr/momindum-kbase/documents/204/1_medium.jpg | |SiloIconeIllustrative=http://www.cite-sciences.fr/momindum-kbase/documents/204/1_medium.jpg | ||
|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. Grains de mécsci | |Catégorie=5. Grains de mécsci | ||
− | |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 | ||
|SiloTypologieGenerale=conférence | |SiloTypologieGenerale=conférence | ||
Ligne 16 : | Ligne 16 : | ||
|SiloDuree=1h32 | |SiloDuree=1h32 | ||
|SiloPublicCible=apprenant | |SiloPublicCible=apprenant | ||
− | |Evaluateur=vthierry | + | |Evaluateur=vthierry; DB |
− | |Statut d'évaluation= | + | |Statut d'évaluation=publiée |
|Visibilité=Public | |Visibilité=Public | ||
}} | }} |
Version du 5 septembre 2011 à 17:07
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. Grains de mécsci |
Mots-clés normalisés | Objet numérique« Objet numérique » n'est pas la liste (2D, 3D, 4D, abstraction de périphérique, abstraction des systèmes d'exploitation, accéléromètre, Ackermann, Wilhelm : 1896-1962, actionneur, actionneur orienté homme, ActionScript, ...) des valeurs autorisées pour la propriété « Mot-cle normalise » . ; Bug« Bug » n'est pas la liste (2D, 3D, 4D, abstraction de périphérique, abstraction des systèmes d'exploitation, accéléromètre, Ackermann, Wilhelm : 1896-1962, actionneur, actionneur orienté homme, ActionScript, ...) des valeurs autorisées pour la propriété « Mot-cle normalise » . ; Preuve de vérification sémantique« Preuve de vérification sémantique » n'est pas la liste (2D, 3D, 4D, abstraction de périphérique, abstraction des systèmes d'exploitation, accéléromètre, Ackermann, Wilhelm : 1896-1962, actionneur, actionneur orienté homme, ActionScript, ...) des valeurs autorisées pour la propriété « Mot-cle normalise » . |
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.