Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
Programmanalyse der
Examples with "Programmanalyse der" and their translation in Engels
Beim Reengineering führen die FramoTec-Mitarbeiter eine Code- und Programmanalyse der vorliegenden Software durch.
In the course of reengineering our FramoTec programmers analyze the code and program of your software.
Andere resultaten
Sie diente als Grundlage für die Einordnung der Ergebnisse der Programmanalyse.
It served as a basis for organising the results of the programme analysis.
SYMBIOSYS wird hierfür das Konzept der symbolischen Programmanalyse erstmals für vernetzte Systeme erforschen.
To this purpose, SYMBIOSIS investigates the concept of symbolic program analysis for networked systems.
Schulungen für Ihre Mitarbeiter nach der Programmanalyse Ihrer Roboteranlagen
Training for your employees after the program analysis of your robot systems
Interpretierbare künstliche Intelligenz, probabilistische Programmierung, Anwendungen der Programmanalyse auf Sicherheit und Zuverlässigkeit
interpretable artificial intelligence, probabilistic programming, applications of program analysis to security and reliability
Bei der statischer Programmanalyse gilt es stets, zwischen Analysepräzision und Rechenaufwand abzuwägen.
Parametric In static program analysis, there is always a trade-off between analysis precision and analysis cost.
Auch die theoretischen und praktischen Grundlagen der Programmanalyse und -verifikation, einschließlich des Software-Testens und der Qualitätssicherung sind dabei von großer Bedeutung.
Other highly important topics pertaining hereto are the foundations of programme analysis and verification, including software testing and quality assurance.
Diese Dissertation stellt compilergestützte Schwachstellenanalyse vor einen neuartigen Ansatz, welcher Techniken aus der statischen Programmanalyse und dem Software Testing kombiniert, um Schwachstellen noch während des Entwicklungsprozesses zu erkennen.
This dissertation introduces compiler assisted vulnerability assessment, a novel approach that brings together techniques from program analysis and software testing for recognizing vulnerabilities as software is written.
In beiden Forschungsbereichen bilden umfangreiche Literaturstudien die Grundlage, mit denen der Wissensstand der Forschung über das Wettrüsten zwischen Softwareschutz und Programmanalyse in der Theorie beschrieben wird.
In both research fields, comprehensive literature studies form the basis with which the body of research knowledge on the arms race between software protection and program analysis will be described in the theory.
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.
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.
Eine Besonderheit ist hierbei der mathematisch fundierte Ansatz auf Basis aktueller Forschungsarbeiten auf den Gebieten der Logik und Semantik, der synchronen Sprachen und Nebenläufigkeitstheorie sowie der Programmanalyse und -verifikation.
A special feature here is the mathematically sound approach based on current research in the areas of logic and semantics, synchronous languages, and concurrency theory as well as program analysis and verification.
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.
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.
Das Zusicherungsdiagramm ist ein neuer Diagrammtyp, der SysML-spezifisch ist und die Programmanalyse mit der Design-Modellierung integriert.
The Parametric diagram is a new diagram type specific to SysML that integrates engineering analysis with design modeling.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Synoniemen voor Programmanalyse der in het Duits
Suggesties
Resultaten: 84. Exact: 1. Verstreken tijd: 76 ms.
