Traduction de «logiciels énoncent correctement » (Français → Anglais) :

TERMINOLOGIE

logiciel de correction assistée | logiciel de correction automatique
mechanized correctness aid

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

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

programme de correction | correcteur | programme rustine | logiciel rustine | logiciel sparadrap | sous-programme de correction | correctif logiciel | correctif | rustine
patch program | patcher | patch | patch routine

Logiciel des énoncés de qualité
Statement of Qualification Builder [ S of Q builder ]

réparation de logiciel [ correction de logiciel | modification de logiciel ]
software fix

logiciel de vérification et de correction
tester/fixer software

TRADUCTIONS EN CONTEXTE

«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.
‘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;
‘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;

les exigences de sécurité des logiciels énoncent correctement les critères auxquels doivent répondre les logiciels pour être conformes aux objectifs et aux exigences de sécurité, tels qu'ils sont définis dans le processus d'évaluation et d'atténuation des risques.
the software safety requirements correctly state what is required by the software, in order to meet safety objectives and requirements, as identified by the risk assessment and mitigation process.

les exigences de sécurité des logiciels énoncent correctement les critères auxquels doivent répondre les logiciels pour être conformes aux objectifs et aux exigences de sécurité, tels qu'ils sont définis dans le processus d'évaluation et d'atténuation des risques;
the software safety requirements correctly state what is required by the software, in order to meet safety objectives and requirements, as identified by the risk assessment and mitigation process;