Schulungen für Ihre Mitarbeiter nach der Programmanalyse Ihrer Roboteranlagen
Training for your employees after the program analysis of your robot systems
Weitere Programmanalyse und -vervollständigungsverfahren, die auf Termersetzung beruhen
other program analysis and completion techniques based on term rewriting
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.
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.
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
jede weitere Programmanalyse zu einem späteren Zeitpunkt kann bereits von der vorhandenen Prozess-Dokumentation profitieren.
Any program analysis taking place at a later point in time can benefit from the existing process documentation.
Programmanalyse, Programmsynthese, Anwendung maschinellen Lernens auf Programmiersprachen, Parallelität
program analysis, program synthesis, application of machine learning to programming languages, concurrency
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.
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.
Seine Forschung konzentriert sich auf die verschiedenen Facetten der formalen Methoden, die von Programmanalyse und Überprüfung, um die Synthese Workflow, und testbasierte Modellierung.
His research focuses on various facets of formal methods ranging from program analysis and verification, to workflow synthesis, and to test-based modeling.
Die flexiblen Fähigkeiten von Assurant sind unübertroffen und decken die volle Bandbreite der Wertschöpfungskette von Forschung und Produktentwicklung bis hin zur Vertriebsunterstützung und Programmanalyse ab.
Assurant's flexible capabilities are unsurpassed, spanning the full range of the value chain, from research and product development to sales support and program analysis.
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.
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.
Contenu potentiellement sensible ou inapproprié
Les exemples vous aident à traduire le mot ou l’expression cherchés dans des contextes variés. Ils ne sont ni sélectionnés ni validés par nous et peuvent contenir des mots ou des idées inappropriés. Signalez des exemples à modifier ou à retirer. Les traductions potentiellement sensibles, inappropriées ou familières sont généralement marquées de rouge ou d’orange.
