Traduction de «Software correctness » (Anglais → Français) :

TERMINOLOGIE

software correctness
exactitude de logiciel

text checker | text correction software | correction software
logiciel de correction de textes | logiciel de correction | correcteur | correcticiel

background correction software | background color change software
logiciel de correction de l'arrière-plan

software [ computer programme | computer programming | software development | software engineering | software industry | software package | computer programs(UNBIS) | software engineering(UNBIS) ]
logiciel [ développement informatique | développement logiciel | génie logiciel | industrie du logiciel | progiciel | programmation informatique | programme d'ordinateur | software ]

establish correct use of bakery equipment | maintain correct use of bakery equipment | ensure correct use of bakery equipment | secure correct use of bakery equipment
veiller à la bonne utilisation de matériel de boulangerie

correction based on a | correction based on a green scale | green correction scale
clé verte de correction

correction based on a green key | correction based on a green scale | green correction scale
clef verte de correction

open source software [ FOSS | free and open source software | OSS [acronym] ]
logiciel libre [ logiciel ouvert ]

penal institution [ correctional facility | correctional institution | gaol | jail | maximum security prison | maximum security wing | open prison | penitentiary | prison | reformatory | reform school | remand centre | remand prison | Penal system(STW) ]
établissement pénitentiaire [ centre pénitentiaire | établissement carcéral | maison d'arrêt | pénitencier | prison | QHS | quartier de haute sécurité ]

TRADUCTIONS EN CONTEXTE

Software critical to the correct functioning of safety and environmental control systems shall be restricted to repair and maintenance, therefore excluding software for changing parameters and data sets.
Les logiciels essentiels au bon fonctionnement des systèmes de contrôle en matière de sécurité et d'environnement se limitent à la réparation et à l'entretien; les logiciels utilisés pour modifier des paramètres et des séries de données sont dès lors exclus.

On the basis of a maintenance agreement, updated versions of the software (updates) and programs for correcting faults (patches) can also be downloaded from Oracle’s website.
Dans le cadre d’un contrat de maintenance, des versions mises à jour du programme concerné (updates) et des programmes permettant de corriger des erreurs (patches) peuvent également être téléchargés à partir du site Internet d’Oracle.

If a name is transliterated incorrectly—or it may be transliterated correctly but there may be 20 different correct ways of transliterating it, whether it's from Russian or Arabic or another alphabet—then we have software today that can check every possible variant that we can conceive of, or that the software is aware of, in an attempt to identify the correct individual.
Si un nom est translitéré incorrectement — ou qu'il est translitéré correctement, mais qu'il existe 20 autres façons correctes de le translitérer, à partir de l'alphabet cyrillique, arabe ou autre —, alors nous disposons maintenant de logiciels qui vérifient toutes les variantes possibles ou connues en vue d'identifier la bonne personne.

Some of the key provisions include provisions that promote computer program innovation, allowing third-party software companies to do things like engage in the development of new programs for software interoperability, error correction, reverse engineering, and security testing.
Parmi les plus essentiels, il y a ceux qui favorisent l'innovation en matière de programmes d'ordinateur permettant aux sociétés de génie logiciel tierces de participer, entre autres, au développement de nouveaux programmes pour l'interopérabilité des logiciels, la correction d'erreurs, la rétroingénierie et les tests de sécurité.

This should be done before the open-source software is definitely made available. This would enable to point out problems in order for the Commission to correct them.
Ceci devrait être fait avant que le logiciel libre soit finalement mis à disposition, de façon à ce que les problèmes puissent être décelés et corrigés par la Commission.

‘correct and complete EATMN software verification’ means all software safety requirements which correctly state what is required of the software component by the risk assessment and mitigation process and their implementation is demonstrated to the level required by the software assurance level.
«vérification correcte et complète d'un logiciel EATMN»: le cas où toutes les exigences de sécurité d'un logiciel énoncent correctement les exigences applicables au composant logiciel en vertu du processus d'évaluation et d'atténuation des risques, et où leur mise en œuvre est démontrée au niveau requis par le niveau d'assurance logicielle.

As the report correctly points out, ‘a piece of software is no more patentable than a musical chord or a combination of words.
Le rapport souligne à juste titre qu’«un logiciel en effet n’est pas plus brevetable qu’un accord de musique ou une alliance de mots.

The new version, HIFIS 2.0, has corrected most of the software problems identified by stakeholders.
La nouvelle version, SISA 2.0, a été débarrassée de la plupart des problèmes relevés par les intervenants.

Solutions on the basis of open source software can help make it possible to correct mistakes more quickly and ensure greater transparency, which is conducive to greater security.
Les solutions faisant appel à des logiciels dont le code source est librement disponible peuvent contribuer à la correction rapide d'erreurs ainsi qu'à une transparence accrue et, partant, à une amélioration de la sécurité.

Through the testing, the inventory and the reworking of all of our systems, we've actually made minor corrections in some of our software and our network that weren't previously identified.
Grâce à ces essais, à l'inventaire et à la mise à jour de tous nos systèmes, nous avons apporté des corrections mineures à certains de nos logiciels et à certains de nos réseaux qui n'avaient pas été jusque-là identifiés.