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.
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.
Logiciel... Cet article décrit les fondements théoriques de la quantification de la fiabilité du logiciel... comment les donneurs d'ordre pourraient mettre en œuvre des exigences de fiabilité du logiciel pour obtenir... de la fiabilité du logiciel soient un sujet controversé, ils restent les seuls à permettre une évaluation...
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.
TECHNIQUES DE L'INGENIEUR
L'EXPERTISE TECHNIQUE ET SCIENTIFIQUE
DE RÉFÉRENCE
Avec Techniques de l'Ingénieur, retrouvez tous les articles scientifiques et techniques : base de données, veille technologique, documentation et expertise technique
Plus de 10 000 articles de référence, fiches pratiques et articles interactifs validés par les comités scientifiques
Toute l'actualité, la veille technologique, les études de cas et les événements de chaque secteur de l'industrie
SUIVEZ-NOUS
