Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
formale Methode
Vertaling van "formale Methode" in Engels
Die formale Methode für die Sitzmeditation ist wie folgt
The formal method for sitting meditation is as follows
Sie kann auch bei der Softwareentwicklung verwendet werden; durch ihre Verbindung mit Nachweismechanismen ist diese formale Methode einzigartig.
It can also be used to develop software; in association with proof mechanisms, this formal method is unique.
Mich hat das nie interessiert, ich sah das mehr als tontechnische Kosmetik, als billigen Effekt, denn als formale Methode.
It never interested me; I saw it more as sound-technological cosmetics, as a cheap effect, rather than as a formal method.
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 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.
Neu ist dagegen die formale Methode, mit der das Bildprogramm gespeist wird.
A new element in Keining's procedure is the formal method with which the pictorial programme is sustained.
Im ersten Teil der Arbeit stellen wir dazu eine formale Methode zur Berechnung von Druckabfall und Durchfluß basierend auf Poiseuille-Strömungen vor.
In the first part of the thesis we therefore present a formal method of computing the pressure drop and the flux based on Poiseuille flow.
Der Strukturierte Dialog, eine elaborierte und formale Methode zur Konsultation junger Menschen, ist zu einem dynamischen und integralen Bestandteil der Politikgestaltung im Jugendbereich geworden.
The Structured Dialogue - which is an elaborate and formal method of consultation with young people - has become a vibrant and integral part of youth policy-making.
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.
How Abstract Interpretation Works Abstract interpretation is a formal method used to mathematically prove that source code is free of certain run-time errors, including arithmetic overflow, divide by zero, and out-of-bounds array access.
Lukas Schmaus von Model Engineering Solutions referiert über eine formale Methode zur Spezifizierung von Anforderungen.
Lukas Schmaus of Model Engineering Solutions gives a presentation on a formal method for requirement specification.
Laufzeitfehler, formale Methode, abstrakte Auswertung, statische Analyse, Code-Verifizierung, Code-Überprüfung, Verifier, PolySpace
Runtime error, Formal method, Abstract interpretation, Static analysis, Code verification, Code review, Verifier, PolySpace
Payrhuber geht wie ein Forensiker vor, aber auch mit viel Ironie in Bezug auf die formale Methode.
He proceeds like a forensic investigator but also with a considerable amount of irony in relation to the formal methodology.
Ziel dieser Diplomarbeit ist es, eine formale Methode zu entwickeln, mit der die Lebenszyklusmodelle von mobilen Anwendungen analysiert werden können.
In the theoretical part a concept shall be created, how the lifecycle implementation of mobile applications can be tested efficiently.
Ebenso stellte er dem Fachpublikum 2007 eine formale Methode zur Untersuchung von Netzwerk-Topologien und Firewall-Installationen vor.
Further more in 2007 a methodology for the formal analysis and rating of firewall rule sets and network topologies was presented to the public.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Synoniemen voor formale Methode in het Duits
Suggesties
Resultaten: 16. Exact: 16. Verstreken tijd: 29 ms.
