8 résultats : bug

Recherche en cours

Par mots-clef = bug

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.

8 résultats

page 1 sur 1

résultats 1 à 8

Le logiciel, objet de notre quotidien

Description : Il y a à peine trente ans, le logiciel était l'apanage des systèmes de gestion ou de communication des grandes entreprises. La micro-informatique, les ordinateurs embarqués et les réseaux ont centuplé ses applications, révolutionnant la bureautique, le design industriel ou artistique, les transports, ...

Mots clés : microélectronique, bug, circuit intégré, microprocesseur, algorithmique, langage de programmation, logiciel informatique

Date : 10-09-2000

Droits : Droits réservés à l'éditeur et aux auteurs.

Le logiciel, objet de notre quotidien

Ajouter à mon panier

Accéder aux documents

Expériences personnelles dans l’enseignement de l’informatique et du monde numérique

Description : L'informatique est partout, c'est devenu banal de le dire, mais qu'entend-on vraiment par là ? Comprend-on bien que le numérique, aujourd'hui, loin de se cantonner aux ordinateurs, est bien plus répandu dans les objets technologiques les plus divers, des téléphones aux avions ? Quelles en sont les ...

Mots clés : bug, révolution numérique, algorithme, programmation, réseaux, science informatique, enseignement de l’informatique, numérisation de l'information, sciences numériques

Date : 10-06-2009

Droits : Droits réservés à l'éditeur et aux auteurs.

Expériences personnelles dans l’enseignement de l’informatique et du monde numérique

Ajouter à mon panier

Accéder aux documents

L’informatisation des objets, ou l’invasion des pucerons

Description : Les systèmes embarqués envahissent tous les pans de l’industrie, depuis l’avionique jusqu’aux objets de la vie courante. Doit-on redouter cette évolution technologique ? Regardez cette conférence de Gérard Berry...

Mots clés : informatisation, bug application, preuve formelle, circuit, fuscia

Date : 08-06-2006

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

L’informatisation des objets, ou l’invasion des pucerons

Ajouter à mon panier

Accéder au document

Pourquoi mon ordinateur calcule faux?

Description : Dans cet exposé Sylvie Boldo nous fait prendre conscience de l'importance des bugs en informatique et des conséquences historiques qu'ils ont pu engendrer. Elle se concentre ensuite sur les problèmes liés aux calculs numériques et montre de manière détaillée et constructive comment prendre la mesure ...

Mots clés : bug, algorithmique, arithmétique flottante, calcul informatique, méthode formelle, nombre à virgule flottante, preuve de programme, vérification de logiciel

Date : 16-06-2009

Droits : Droits réservés à l'éditeur et aux auteurs.

Pourquoi mon ordinateur calcule faux?

Ajouter à mon panier

Accéder aux documents

Demandez le programme

Description : La programmation consiste à décomposer un algorithme en ordres simples et à les écrire en un langage compréhensible par l’ordinateur.

Mots clés : bug, paradigme de programmation, niveau d'abstraction, erreur, preuve de programme, fuscia

Date : 28-11-2008

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

Demandez le programme

Ajouter à mon panier

Accéder au document

Risques liés à l'informatisation : dépendance ou confiance ?

Description : Les systèmes informatiques, ou plus exactement les Sciences et Technologies de l'Information et de la Communication, pour éviter une interprétation restrictive, ouvrent de nouveaux défis, car à la situation habituelle en matière de risque, qui considère uniquement les risques de nature accidentelle, ...

Mots clés : virus, bug, sécurité informatique, analyse statique, faute logicielle, gestion du risque, sûreté de fonctionnement, système informatique, test

Date : 21-10-2000

Droits : Droits réservés à l'éditeur et aux auteurs.

Risques liés à l'informatisation : dépendance ou confiance ?

Ajouter à mon panier

Accéder aux documents

Les leçons d’un algorithme délinquant

Description : Pour le sens commun, la machine ne se trompe jamais. Si par malheur un utilisateur pointilleux découvre une erreur dans son calcul sur ordinateur, qui doit-il alors accuser ? Lui, ou la machine ?

Mots clés : bug, Pentium, implémentation d'algorithmes, erreur, preuve formelle, fuscia

Date : 19-02-2004

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

Les leçons d’un algorithme délinquant

Ajouter à mon panier

Accéder au document

Transports aériens et contrôle du trafic

Description : "Dans une première partie, je présenterai un bref historique du transport aérien, puis sa situation actuelle : déréglementation, regroupements de compagnies, mise en application récente de la ""cinquième liberté"" et ses conséquences. J'insisterai particulièrement sur le contexte européen. Dans ...

Mots clés : aéroport, bug, cabotage, code share, concurrence, maintenance, nuisance, traffic, transport aérien

Date : 17-04-2000

Droits : Droits réservés à l'éditeur et aux auteurs.

Transports aériens et contrôle du trafic

Ajouter à mon panier

Accéder aux documents

Rebondir