#

Logiciels

Logiciels dans l'actualité

Toute l'actualité


Logiciels dans les livres blancs


Logiciels dans les conférences en ligne


Logiciels dans les ressources documentaires

  • Article de bases documentaires
  • |
  • 10 oct. 2009
  • |
  • Réf : AF1470

Validation des résultats des logiciels scientifiques

de la propagation des erreurs, à travers la méthode CESTAC, ainsi que l'apport du logiciel CADNA, seront étudiés... de la précision utilisée (simple ou double). D'après les auteurs, ce logiciel offre les possibilités suivantes... Les détails sur l'utilisation du logiciel PRECISE peuvent être trouvés dans  [14] . Arithmétique d... polynômiales, le calcul des éléments propres d'une matrice… D'autres logiciels utilisant l'arithmétique d...

Les articles de référence permettent d'initier une étude bibliographique, rafraîchir ses connaissances fondamentales, se documenter en début de projet ou valider ses intuitions en cours d'étude.

  • Article de bases documentaires
  • |
  • 10 oct. 2009
  • |
  • Réf : AF1471

Validation des résultats des logiciels scientifiques

ainsi que des exemples d'utilisation du logiciel CADNA (logiciel permettant cette validation numérique... au chapitre 3. Le chapitre 4 est consacré à la description et à l'utilisation du logiciel CADNA (« Control of... Accuracy and Debugging of Numerical Algorithms »). Ce logiciel met en œuvre la méthode CESTAC... et l'arithmétique stochastique discrète. Les chapitres 5 et 6 sont dédiés à l'apport du logiciel CADNA...

Les articles de référence permettent d'initier une étude bibliographique, rafraîchir ses connaissances fondamentales, se documenter en début de projet ou valider ses intuitions en cours d'étude.

  • Article de bases documentaires
  • |
  • 10 juin 1998
  • |
  • Réf : R8080

Qualité des logiciels industriels

que des personnes et des biens. Comme exemple grand public, le logiciel Socrate de la SNCF, dont la mise en œuvre... du logiciel laisse entendre que la qualité coûte trop cher, retarde le développement, … et la décision... , développant des logiciels sécuritaires comme l’aéronautique par exemple, ont depuis longtemps mis en place... et dans un souci de normalisation, il paraît plus simple de prendre le cycle de vie du logiciel et de passer...

Les articles de référence permettent d'initier une étude bibliographique, rafraîchir ses connaissances fondamentales, se documenter en début de projet ou valider ses intuitions en cours d'étude.


INSCRIVEZ-VOUS AUX NEWSLETTERS GRATUITES !