A la chasse au bug, la maladie du certain

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	61 slides de textes et schémas relatifs à la conférence sont synchronisés avec cette dernière.
Section Analyse
Langue	fre
Résumé	Qu’est ce qu'un bug ? 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)	Langage de programmation
Mots-clés normalisés	erreur informatique« erreur informatique » 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 ; code correcteur ; test de programmation ; programme informatique ; logiciel
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)	1h 32'
Section Pédagogie
Type pédagogique	cours / présentation
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.