Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
static program analysis methods
Examples with "static program analysis methods" and their translation in Duits
This thesis presents static program analysis methods and tool support considering the variability and the configuration in SPLs.
Diese Arbeit stellt daher statische Programmanalysemethoden und Werkzeuge vor, welche Variabilität bzw. Konfiguration in Software Produktlinien unterstützen.
Andere resultaten
Static software analysis methods analyze programs by translating them into mathematical formulas.
Statische Softwareanalyseverfahren durchleuchten Programme, indem sie diese in einen mathematischen Formalismus übersetzen.
The focus is mostly on commercial-off-the-shelf binaries, so methods such as static and dynamic program analysis as well as reverse engineering are used.
Der Schwerpunkt liegt meist auf Commercial-off-the-shelf-Binarys; daher kommen Methoden wie statische und dynamische Programmanalysen sowie Reverse Engineering zum Einsatz.
This program is suitable for static and dynamic calculations, as well as for all common stress analysis methods (ASME Class 1, 2 and 3, ANSI B31.1 and B31.3).
Dieses Programm eignet sich für statische und dynamische Berechnungen, sowie alle gängigen Spannungsnachweisverfahren (ASME, Class 1, 2 und 3; ANSI B31.1 und B31.3).
Dynamic analysis is in contrast to static program analysis.
Dynamische Code-Analyse setzt im Gegensatz zur statischen Analyse ein laufendes Programm voraus.
Steffen Jost researched a novel static program analysis that automatically infers formally guaranteed upper bounds on the use of compositional quantitative resources.
Steffen Jost stellt eine neuartige statische Programmanalyse vor, welche vollautomatisch Schranken an den Verbrauch quantitativer Ressourcen berechnet.
Parametric In static program analysis, there is always a trade-off between analysis precision and analysis cost.
Bei der statischer Programmanalyse gilt es stets, zwischen Analysepräzision und Rechenaufwand abzuwägen.
We developed several tools for the Internet, for structuring and documenting source code and for static program analysis.
Es wurde diverse Werkzeuge für das Internet, für die Strukturierung und Dokumentation von Quellcode und für die statische Programmanalyse entwickelt.
While static program analysis for proving safety properties or finding bugs usually targets source code, in many potential analysis scenarios only a binary is available.
Statische Programmanalyse zum Beweis von Sicherheitseigenschaften oder zum Entdecken von Fehlern zielt normalerweise auf Quelltext ab, in vielen potentiellen Analyseszenarien ist jedoch nur eine Binärdatei verfügbar.
Wilhelm's research focuses on programming languages, compiler construction, static program analysis and embedded real time systems, but also includes animation and visualization of algorithms and data structures.
Die Forschungsschwerpunkte Wilhelms umfassen Programmiersprachen, Übersetzerbau, statische Programmanalyse, eingebettete Echtzeitsysteme und die Animation und Visualisierung von Algorithmen und Datenstrukturen.
MTU uses our tools for verified compilation and static program analysis to ensure the correctness of control software for emergency power generators in power plants.
Vestas setzt unsere Tools bei der Entwicklung von Software für Windkraftanlagen ein, zur statischen Analyse der Ausführungszeit und des Stackverbrauchs.
Static Program Analysis: These approaches analyze data flow and control flow of a program under test.
Statissche Programmanalyse: Diese Ansätze analysieren den Daten- und Kontrollfluss des zu testenden Programms.
Description: TamiFlex is a solution to the dreaded "reflection problem" in static program analysis for Java.
Beschreibung: TamiFlex ist eine Best-Effort Lösung für das „Reflektionsproblem" in statischer Programmanalyse in Java.
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 3132. Exact: 1. Verstreken tijd: 120 ms.
