Examples with "et Code Prover" 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.
Objectif: Se familiariser avec Polyspace Bug Finder et Code Prover au travers d'un exemple.
Objective: Become familiar with Polyspace Bug Finder and Code Prover and work through an introductory example.
Andere resultaten
Achetez Polyspace Code Prover et découvrez les produits complémentaires.
Purchase Polyspace Code Prover and explore related products.
Objectif: Revoir les acquis de la formation et utiliser Polyspace Code Prover directement sur un de vos projets.
Objetivo: Spend time reviewing what you have learned and applying Polyspace Code Prover directly to your own project.
Objectif: Appliquer les notions présentées dans le cours et utiliser Polyspace Code Prover directement sur votre projet.
Objective: Spend time reviewing what you have learned and applying Polyspace Code Prover directly to your own project.
Polyspace Bug Finder Server et Polyspace Code Prover Server sont des nouveaux produits Polyspace qui permettent d'exécuter le moteur d'analyse statique sur une machine de type serveur avec des outils d'automatisation intégrés.
Polyspace Bug Finder Server and Polyspace Code Prover Server are new Polyspace products that allow the static analysis engine to run on a server-class machine with build automation tools.
La robustesse du logiciel a également été vérifiée avec Polyspace Bug Finder et Polyspace Code Prover lors des phases d'intégration et de développement.
Polyspace Bug Finder and Polyspace Code Prover for formal verification of hand-written and generated code
La robustesse du logiciel a également été vérifiée avec Polyspace Bug Finder et Polyspace Code Prover lors des phases d'intégration et de développement.
Embedded Coder for generating production quality code for field deployment Polyspace Bug Finder and Polyspace Code Prover for formal verification of hand-written and generated code
Les catégories de services indiquées dans la première colonne et leurs codes CPC prov. correspondants sont établis sur la base des annexes 1 A et 1 B de la directive 2004/18/CE.
The service categories indicated in the first column and the corresponding CPC prov. codes in the second column refer to Annexes IA and IB of Directive 2004/18/EC.
Vous pouvez commencer à utiliser Polyspace Code Prover de nombreuses façons.
There are many ways to start using Polyspace Code Prover.
Affichage des résultats d'erreurs d'exécution par Polyspace Code Prover.
Run-time error results displayed by Polyspace Code Prover.
Polyspace Code Prover peut être intégré à des systèmes de déploiement pour une vérification automatisée.
Polyspace Code Prover can be integrated into build systems for automated verification.
Objectif: Devenir compétent dans l'interprétation des résultats Polyspace Code Prover.
Objective: Become proficient at interpreting Polyspace Code Prover results.
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.
