Examples with "la correction des programmes" and their translation in Engels
We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
Tout d'abord, j'étudie la correction des programmes sous des perturbations à l'exécution.
Il mènera vers des thèmes plus larges, comme la correction des programmes, les techniques de chiffrement et les dimensions économiques et sociales de la sécurité.
This will lead to broader themes, such as correcting programs, encryption techniques and the economic and social dimensions of security.
Résumé : Cette thèse étudie deux approches fondées sur l'analyse statique pour augmenter la sûreté de fonctionnement et la correction des programmes informatiques.
Abstract: This work studies two approaches to improve the safety of computer programs using static analysis.
« En prouvant la correction des programmes, notre outil permet d'éviter ce genre d'accident », résume Nicolas Tabareau.
"By proving software correctness, our tool is meant to prevent such accident,"says Inria researcher Nicolas Tabareau.
Elle se compose d'un ensemble d'outils qui fonctionnent sur des programmes C annotés et génère des conditions de vérification qui établissent la correction des programmes fournis.
La direction veut réduire les coûts liés à la correction des erreurs de programmation répétitives.
Management wants to cut the costs associated with repeatedly fixing programming errors.
Cet outil permet aux concepteurs de concentrer leurs efforts sur la création de fonctionnalités plutôt que sur la correction des erreurs de programmation, explique Mathieu Nayrolles.
This tool allows developers to focus their attention on creating features rather than fixing bugs, says Nayrolles.
DzSoft Perl Editor est un outil destiné à l'écriture à l'édition et à la correction des erreurs de programmation des scripts Perl et CGI.
DzSoft Perl Editor is a tool for writing, editing, and debugging Perl/CGI scripts.
DzSoft Perl Editor est un outil destiné à l'écriture à l'édition et à la correction des erreurs de programmation des scripts Perl et CGI.
DzSoft Perl Editor is a popular tool for development of Perl CGI and command-line scripts.
1.75 Ces études ont recommandé que, comme dans le cas des programmes d'intervention, le Service adopte des pratiques suffisamment efficaces pour que la validité et la valeur correctionnelle des programmes d'emploi puissent correspondre aux sommes engagées.
1.75 These studies have recommended that the Service adopt practices to ensure that the validity and correctional value of employability programs match their costs, as it has for intervention programs.
Nous allons procéder différemment pour la prestation des programmes correctionnels.
L'intention originale de ces logiques est de vérifier formellement la correction de programmes manipulant des pointeurs.
These logics were originally intended for the formal verification of programs with pointers.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
