Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
static program analyzers
Examples with "static program analyzers" and their translation in Duits
The program analyzer generator PAG supports the implementation of static program analyzers.
Unser Programmanalysatorengenerator PAG unterstützt Sie bei der Implementierung von statischen Programmanalysen.
Andere resultaten
Astrée, a static program analyzer designed to prove the absence of runtime errors in safety-critical C programs.
Astrée ermöglicht den Nachweis der Abwesenheit von Laufzeitfehlern in sicherheitskritischen C-Programmen.
Astrée, a static program analyzer designed to prove the absence of runtime errors in safety-critical C programs.
Nachweis der Abwesenheit von Laufzeitfehlern Unser Programm-Analysator Astrée überprüft C-Programme automatisch auf Laufzeitfehler.
Astrée is a static program analyzer that proves the absence of run-time errors (RTE) in safety-critical embedded applications written or automatically generated in C.
Beschreibung Astrée ist eine Software zur statischen Programmanalyse, die C-Programme automatisch auf Laufzeitfehler überprüft.
By own static programs preliminary dimensioning can be done in-house.
Durch eigene Statikprogramme können hausintern Vordimensionierungen vorgenommen werden.
Dynamic analysis is in contrast to static program analysis.
Dynamische Code-Analyse setzt im Gegensatz zur statischen Analyse ein laufendes Programm voraus.
Astrée is a sound static analyzer designed to prove the absence of runtime errors and further critical program defects.
Astrée ist ein sicherer statischer Analysator zum Nachweis der Abwesenheit von Laufzeitfehlern und weiterer kritischer Programmfehler.
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.
Dataflow-based static program analyses need to know the reaching definitions arriving at the program's statements.
Datenfluss-basierte statische Programmanalysen benötigen Informationen zu den an einer Programmstelle eintreffenden gültigen Definitionen.
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.
Specialized static analyzers put additional restrictions on the applications so as to be able to take specific program structures into account.
Domainspezifische statische Analysatoren schränken die Anwendungsklasse ein, um spezifische Programmstrukturen ausnutzen zu können.
RuleChecker is a static analyzer designed to check coding guidelines and compute code metrics for safety-critical C programs.
RuleChecker ist ein statischer Analysator zur Prüfung von Codierrichtlinien und zur Berchnung von Codemtriken für sicherheitskritische C-Programme.
Synoniemen voor static program analyzers in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 37. Exact: 1. Verstreken tijd: 269 ms.
