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.
When choosing a static checking tool it is clearly desirable that the tool enforces as many of the rules in this document as possible.
Wenn die Notwendigkeit besteht ein Werkzeug für die statische Analyse auszuwählen, dann ist natürlicherweise wünschenswert, dass das Werkzeug so viele Regeln wie im Definitionsdokument des Standards beschrieben, überprüft.
The question whether users of the industrial strength design tool preferably use the built-in verification tool or a general purpose model checking tool arises quite naturally.
Natürlich stellt sich nun die Frage, ob der Benutzer eines industriellen Software Design Werkzeuges nun das eingebaute Verifizierungs-Werkzeug benutzen sollte, oder ob er eines der allgemeinen Model Checking Werkzeuge bevorzugen sollte.
Trafinas solution, developed to handle paper-based and manual workflow, while also serving as a data proof checking tool, aims to digitize and handle more efficiently client's needs and services.
Die Trafinas-Lösung, die für den papierbasierten und manuellen Workflow entwickelt wurde und gleichzeitig als Werkzeug zur Überprüfung der Datensicherheit dient, zielt darauf ab, die Bedürfnisse und Dienstleistungen des Kunden zu digitalisieren und effizienter zu handhaben.
You can enhance the CL data display when checking tool paths, and check for interference by showing a "real" tool.
Sie können die CL-Datenanzeige beim Prüfen der Werkzeugwege verbessern und eine Durchdringungsprüfung durchführen, indem Sie ein „echtes" Werkzeug anzeigen.
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.