Bogue de l'an 2000 : alerte générale / Michel Heurteaux in Les Clés de l'actualité, 370 (18 novembre 1999)

Public ISBD [article]  inLes Clés de l'actualité > 370 (18 novembre 1999) Titre : Bogue de l'an 2000 : alerte générale Type de document : texte imprimé Auteurs : Michel Heurteaux, Auteur Année : 1999 Article : p. 4 Descripteurs : 1990- débogage équipement informatique industrie informatique Résumé : Le point, fin 1999, sur les pays et les secteurs qui ne sont pas préparés au bogue informatique de l'an 2000. Nature du document : documentaire [article] Bogue de l'an 2000 : alerte générale [texte imprimé] / Michel Heurteaux, Auteur . - 1999 . - p. 4. in Les Clés de l'actualité > 370 (18 novembre 1999) Descripteurs : 1990- débogage équipement informatique industrie informatique Résumé : Le point, fin 1999, sur les pays et les secteurs qui ne sont pas préparés au bogue informatique de l'an 2000. Nature du document : documentaire

Bug de l'an 2000 : éviterons-nous la catastrophe ? / Pascal Maupas in Eurêka, 36 (octobre 1998)

Public ISBD [article]  inEurêka > 36 (octobre 1998) Titre : Bug de l'an 2000 : éviterons-nous la catastrophe ? Type de document : texte imprimé Auteurs : Pascal Maupas, Auteur Année : 1998 Article : p. 16-21 Descripteurs : 2000- débogage Résumé : Le 1er janvier 2000, des milliers d'ordinateurs interpréteront le 00 comme étant celui de 1900. L'inquiétude grandit dans les secteurs très sensibles : transports, banques, grandes entreprises... Nature du document : documentaire [article] Bug de l'an 2000 : éviterons-nous la catastrophe ? [texte imprimé] / Pascal Maupas, Auteur . - 1998 . - p. 16-21. in Eurêka > 36 (octobre 1998) Descripteurs : 2000- débogage Résumé : Le 1er janvier 2000, des milliers d'ordinateurs interpréteront le 00 comme étant celui de 1900. L'inquiétude grandit dans les secteurs très sensibles : transports, banques, grandes entreprises... Nature du document : documentaire

L'informatique sauvée des bugs in Science & vie, 1013 (février 2002)

Public ISBD [article]  inScience & vie > 1013 (février 2002) Titre : L'informatique sauvée des bugs Type de document : texte imprimé Année : 2002 Article : p. 55-57 Descripteurs : débogage démonstration mathématique programmation Résumé : Les implications, dans le domaine de la programmation informatique, de la correspondance de Curry-Howard (certaines démonstrations mathématiques correspondent à des programmes informatiques) : les informaticiens pourraient désormais contrôler l'absence d'erreurs dans les programmes. Nature du document : documentaire [article] L'informatique sauvée des bugs [texte imprimé] . - 2002 . - p. 55-57. in Science & vie > 1013 (février 2002) Descripteurs : débogage démonstration mathématique programmation Résumé : Les implications, dans le domaine de la programmation informatique, de la correspondance de Curry-Howard (certaines démonstrations mathématiques correspondent à des programmes informatiques) : les informaticiens pourraient désormais contrôler l'absence d'erreurs dans les programmes. Nature du document : documentaire

---

1 (1 - 3 / 3)