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.
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.
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.
Getting the outdated software system replaced is proving a monster of a task.
Die veraltete Software zu ersetzen, erweist sich als wahre Mammutaufgabe.
This new software launch is a proving ground for the developers' skills in engineering.
Der Start der neuen Software ist ein Testgelände für die Fähigkeiten der Entwickler in der Ingenieurkunst.
Synoniemen voor proving software in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 78. Exact: 2. Verstreken tijd: 228 ms.
