Examples with "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.
Offrir aux agents de correction des programmes d'éducation et de formation plus étoffés et plus nombreux contribuerait à éliminer une telle perception.
More and better education and training of correctional staff would contribute to countering this perception.
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.
Justification: Clarté et correction des programmes sont prioritaires.
Les systèmes formels et les assistants depreuves comme Coq et Isabelle-HOL sont utilisés pour développer despreuves de correction des programmes.
Formal systems and proof assistants such as Coq andIsabelle-HOL are often used to provide guarantees and proofs thatcryptographic programs are correct.
« 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.
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.
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.
Le gouvernement a augmenté le budget du service correctionnel pour financer des programmes de réinsertion sociale.
The government has increased the correctional service's budget to fund social reintegration programs.
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.
