Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
of program analysis
Vertaling van "of program analysis" in Duits
der Programmanalyse
interpretable artificial intelligence, probabilistic programming, applications of program analysis to security and reliability
Interpretierbare künstliche Intelligenz, probabilistische Programmierung, Anwendungen der Programmanalyse auf Sicherheit und Zuverlässigkeit
Many techniques have been proposed to tackle this problem, one of them being the method of slicing that has its origins in the area of program analysis where it is used to compute those parts of a program that are relevant with respect to a specific analysis task.
Zahlreiche Techniken zur Bewältigung dieses Problems wurden bereits vorgeschlagen, unter ihnen die des Slicing, das seinen Ursprung im Gebiet der Programmanalyse hat, wo es zur Berechnung derjenigen Programmteile verwendet wird, die im Hinblick auf eine bestimmte Fragestellung relevant sind.
Finally, the correctness of hardware and software systems is the major goal of research into the use of program analysis techniques and formal specification methodologies.
Die Korrektheit von Hardware- und Softwaresystemen schließlich ist das Hauptziel der Forschungsarbeiten über den Einsatz von Programmanalyseverfahren und formalen Spezifikationsmethoden.
AbsInt, a worldwide leading manufacturer of program analysis tools for safety-critical software, today has launched two new product lines.
In the STANCE project, a series of program analysis tools capable of verifying the attack security of complex software systems are to be defined, implemented and validated.
Dafür werden im STANCE-Projekt eine Reihe von Programmanalysetools definiert, implementiert und validiert, die in der Lage sind, die Angriffssicherheit von komplexen Softwaresystemen zu verifizieren.
Synoniemen voor of program analysis in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 5. Exact: 5. Verstreken tijd: 106 ms.
