Recherche simple :
Ressources pédagogiques
Ressources diverses
Thèses
Toutes les ressources
Ressources pédagogiques > Accès par mots-clefs en fr
  • Nouveautés
  • Recherche avancée
  • Sciences et techniques
  • Sciences de la terre
  • Chimie
  • Sciences de la vie
  • Physique
  • Toutes les thématiques
Ressources pédagogiques -> Mot(s)-clé
vérification de logiciel
  • 2 ressources ont été trouvées. Voici les résultats 1 à 2
  |< << Page précédente 1 Page suivante >> >| documents par page
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
Tri :   Date de référencement Editeur Auteur Titre

Comment maîtriser la complexité des logiciels ?

 [Ressource pédagogique]


  • Consulter la notice
  • Date de publication : 
  • 20170126  | 
  • Auteur(s) : 
  • Jézéquel Jean-Marc, Jongwane Joanna  | 
  • Editeur(s) : 
  • Institut National de Recherche en Informatique et en Automatique / Interstices  | 
  • Origine de la fiche : 
  • Université Numérique Ingénierie et Technologie
  • Le logiciel est partout dans notre vie quotidienne et cela n'est pas près de s'arrêter ! Jean-Marc Jézéquel, chercheur en informatique, nous parle des enjeux autour de cet objet mathématique qui envahit le monde réel, dans cet épisode du podcast Interstices....


  • Référencé le  : 
  • 26-04-2017

    Pourquoi mon ordinateur calcule faux?

     [Ressource pédagogique]


  • Consulter la notice
  • Date de publication : 
  • 20090616  | 
  • Auteur(s) : 
  • BOLDO Sylvie  | 
  • Editeur(s) : 
  • INRIA  | 
  • Origine de la fiche : 
  • Canal-U - OAI Archive
  • 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 des approximations numériques qui s'effectuent lors d'un calcul numérique au sein d'un logiciel. El...


  • Référencé le  : 
  • 27-04-2011
    |< << Page précédente 1 Page suivante >> >| documents par page
    © 2006-2010 ORI-OAI