Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
automated program analysis
Vertaling van "automated program analysis" in Duits
automatischen Programmanalyse
A direct application of this study is the empiric evaluation of automated program analysis: As discussed, such an evaluation is of central importance to establish academic merit as well as applicability to the software engineering domain.
Eine direkte Anwendung ist die empirische Evaluierung automatischer Programmanalyse - wie beschrieben von zentraler Bedeutung zur Feststellung akademischer Leistungen als auch der Anwendbarkeit im Software Engineering.
Due to these theoretic limitations, efficacy of a termination procedure can only be demonstrated on practical problems - by Rice's theorem the same goes for any automated program analysis.
Aus diesem Grund kann die Wirksamkeit eines automatischen Terminierungsbeweises nur anhand praktischer Beispiele demonstriert werden - nach dem Satz von Rice gilt dies gleichermaßen für jede Form der automatischen Programmanalyse.
Short bio Eric Bodden is one of the leading experts on secure software engineering, with a specialty in building highly precise tools for automated program analysis.
Eric Bodden ist einer der führenden Experten auf dem Gebiet der sicheren Softwareentwicklung, mit einem besonderen Fokus auf der Entwicklung hochpräziser Werkzeuge zur automatischen Programmanalyse.
"The invitation by Academia Europaea honors Tom's ground breaking research on automated program analysis, computer security, and model checking based on his work at University of Wisconsin and GrammaTech," stated fellow member of the academy, Prof. Dr. Dr. h.c.
"Hiermit wird seine bahnbrechende Forschung über die automatische Programmanalyse und die EDV-Sicherheit geehrt. Die Grundlage dafür ist seine Arbeit an der Wisconsiner Universität und bei GrammaTech", erklärt Professor Dr. Dr. h.c.
"These awards underscore the company's continued success and the strength of our research team, which includes world-class experts in automated program analysis," said Tim Teitelbaum, GrammaTech's CEO and Professor Emeritus in Cornell's Computer Science Department.
"Die Auswahl unterstreicht den Erfolg und die Stärke des GrammaTech-Forschungs-Teams und deren Experten für automatische Code-Analyse, die zur Weltklasse gehören", erklärt Tim Teitelbaum, GrammaTech-CEO und emeritierter Professor des Cornell Computer Science Departments.
This engineering information should be leveraged for automated program analysis, but is usually provided informally (e.g. as comments) or implicitly (e.g. as patterns followed by programmers).
Diese sollten zum Zweck der automatischen Programmanalyse eingesetzt werden, sind aber meist nur informell (z.B. als Kommentar) oder implizit (z.B. als von Programmierern benutztes Muster) beschrieben.
Synoniemen voor automated program analysis in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 6. Exact: 6. Verstreken tijd: 333 ms.
