Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
proving software
Examples with "proving software" and their translation in Duits
The proving software outperformed all others in the speed test for data processing.
Die Testsoftware übertraf alle anderen im Geschwindigkeitstest für die Datenverarbeitung.
Proving software correct using deductive verification methods needs - in addition to the requirement specification - a variety of interactions by the user of the tool (e.g., giving loop invariants or specification of auxiliary functions).
Während die Verfahren zur deduktiven Verifikation neben der Anforderungsspezifikation eines Programms eine Vielzahl an Hilfen durch den Benutzer erfordert (Schleifeninvarianten, Spezifikationen von Hilfsfunctionen etc.), kommt BMC weitgehend ohne solchge Hilfen aus.
Andere resultaten
The coding bootcamp is a proving ground for aspiring software developers to hone their craft.
Das Programmier-Bootcamp ist ein Sprungbrett für angehende Softwareentwickler, um ihr Handwerk zu verfeinern.
The proving of the new software took several weeks to complete and analyze.
A perfect tool for proving and testing software functions that is required when creating programmes for telematics systems applications.
CoPlanner's software is proving to be one of the leading solutions in the market for planning, budgeting and forecasting tools.
Die Software von CoPlanner erweist sich als eine der führenden Lösungen im Markt für Planungs-, Budgetierungs- und Forecastingwerkzeugen.
In the field of European homologation according to TSI the manufacturer may chose which way of proving evidence for software safety he prefers.
Im Bereich der europäischen Zulassungen nach TSI steht dem Hersteller offen, welchen Weg zum Nachweis der Software-Sicherheit er wählen möchte.
The "early stage" nature of Read 'n Style means the software-proving prototype is the size of a grade-school pencil box.
Die "frühzeitige" Natur von Read 'n Style bedeutet, dass der Software-prüfende Prototyp die Größe einer Schultafel ist.
The formal method known as abstract interpretation enables determination of accurate range information for the purpose of proving that the software is free of certain run-time errors such as divide by zeros and buffer overflows.
Die formale Methode, die auch als abstrakte Interpretation bezeichnet wird, ermöglicht die Bestimmung genauer Bereichsinformationen, um nachzuweisen, dass die Software frei von bestimmten Laufzeitfehlern wie Division durch Null und Pufferüberläufen ist.
HYBRID Software is proving the complete confidence it has in its products by inviting drupa2016 visitors to bring live production jobs to its stand to be run on its software solutions, including PACKZ, CLOUDFLOW and PRINTPLANNER.
Als Beweis des uneingeschränkten Vertrauens, das HYBRID Software in seine Produkte hat, lädt die Firma Besucher der drupa 2016 dazu ein, Produktionsjobs mitzubringen, die live am Stand mit den Softwarelösungen von HYBRID wie PACKZ, CLOUDFLOW und PRINTPLANNER ausgeführen werden.
The software was installed in the Kaba terminals and is proving effective.
Die Software wurde in den Kaba Terminals installiert und läuft einwandfrei.
This software update acted as a proving ground for the new features we planned to launch.
Dieses Software-Update diente als Testumgebung für die neuen Funktionen, die wir einführen wollten.
The new software implementation is proving to be successful, so far so good.
Die Einführung der neuen Software erweist sich als erfolgreich, bisher läuft alles gut.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Synoniemen voor proving software in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 83. Exact: 2. Verstreken tijd: 277 ms.
