Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
formal method
Vertaling van "formal method" in Duits
formale Methode
formalen Methode
formales Modell
The formal method for sitting meditation is as follows
Die formale Methode für die Sitzmeditation ist wie folgt
It can also be used to develop software; in association with proof mechanisms, this formal method is unique.
Sie kann auch bei der Softwareentwicklung verwendet werden; durch ihre Verbindung mit Nachweismechanismen ist diese formale Methode einzigartig.
It is based on abstract interpretation - a provably correct formal method.
Astrée basiert auf abstrakter Interpretation, einer beweisbar korrekten formalen Methode.
The author developed a suitable modelling formalism and efficient verification methods to enable the application of a formal method.
Der Autor entwickelt einen geeigneten Modellierungsformalismus und effiziente Verifikationsverfahren für den Einsatz einer formalen Methode.
This work presents a formal method for verification of reconfigurable scan architectures, as well as pattern retargeting, i.e.
Diese Arbeit stellt ein formales Modell für rekonfigurierbare Scan-Netze vor, welches die strukturellen und funktionalen Abhängigkeiten abbildet und anwendbar ist für Architekturen nach IEEE P1687.
This work presents a formal method for verification of reconfigurable scan architectures, as well as pattern retargeting, i.e. generation of required scan-in method is based on a formal model of structural and functional dependencies.
Diese Arbeit stellt ein formales Modell für rekonfigurierbare Scan-Netze vor, welches die strukturellen und funktionalen Abhängigkeiten abbildet und anwendbar ist für Architekturen nach IEEE P1687.
It never interested me; I saw it more as sound-technological cosmetics, as a cheap effect, rather than as a formal method.
Mich hat das nie interessiert, ich sah das mehr als tontechnische Kosmetik, als billigen Effekt, denn als formale Methode.
It changes the photographic object in the sense of a formal method, its investigative impact and most of all, a new explanatory option.
Sie verändert den Bildgegenstand im Sinne einer formalen Methode, einer Wirkungsrecherche und vor allem einer neuen Deutungsoption.
First beginnings of developing a formal method of multi-valued logic (syntrometry). 1971
Erste Ansätze zu einer formalen Methode mehrwertiger Logik. 1971
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.
This is also the big advantage compared to testing: If the formal method is successful, a definitive statement can be made whose significance goes far beyond the successful execution of tests.
Dies ist auch der große Vorteil im Vergleich zum Testen: Ist die Durchführung der formalen Methode erfolgreich, können definitive Aussage getroffen werden, deren Signifikanz weit über die erfolgreiche Ausführung von Tests hinausgeht.
A new element in Keining's procedure is the formal method with which the pictorial programme is sustained.
Neu ist dagegen die formale Methode, mit der das Bildprogramm gespeist wird.
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.
Im ersten Teil der Arbeit stellen wir dazu eine formale Methode zur Berechnung von Druckabfall und Durchfluß basierend auf Poiseuille-Strömungen vor.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Synoniemen voor formal method in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 39. Exact: 39. Verstreken tijd: 42 ms.
