Examples with "der Quellcode-Ebene" and their translation in Engels
We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
Der Einsatz von CompCert ist die logische Fortführung des Einsatzes formaler Verifikation (statische Analyse, Model-Checking) auf der Quellcode-Ebene.
Using the CompCert C compiler is a natural complement to applying formal verification techniques (static analysis, program proof, model checking) at the source-code level.
Infinite36 ist eine Suite von Compilern, Dienstprogrammen und Betriebssystem-Diensten, die es erlaubt, Anwendungen, die unter RPG oder COBOL für die System/36- Umgebung entwickelt wurden, auf der Quellcode-Ebene zu migrieren, neu zu kompilieren und auf der Zielplattform auszuführen.
Qualified ISV's for this program will have developed an application or own the source code to an application written for the AS/400 or System/36 in either RPG or COBOL.
Damit gelten alle Sicherheitseigenschaften, die Sie auf der Quellcode-Ebene nachgewiesen haben (z. B. mit Astrée), garantiert auch für den erzeugten Binärcode.
All safety properties verified on the source code, e.g. with Astrée, are guaranteed to hold for the generated executable as well.
Andere resultaten
Auf der anderen Seite ist die Möglichkeit jeglichen Quellcode auf der Ebene eines Plugins zu editieren Phänomenal und damit ein Alleinstellungsmerkmal.
On the other hand, the possibility to edit any source code at the level of a plugin is phenomenal and therefore a unique selling proposition.
Weitgehend kompatibel mit POSIX, System V und BSD auf der Ebene des Quellcodes.
mostly compatible with POSIX, System V, and BSD at the source level.
Verfahren nach Anspruch 1, wobei der virtuelle Gerätetreiber mit dem ersten Betriebssystem und dem zweiten Betriebssystem auf der Ebene des Quellcodes kompatibel ist.
The method of claim 1, in which said virtual device driver is compatible with said first operating system and said second operating system at a source code level.
Die statische Analyse identifiziert potentielle Schwachstellen im Code durch Überprüfungen auf Quellcode-Ebene.
Static analysis finds potential issues in code by doing an analysis on the source code level.
Mit statischer Analyse auf Quellcode-Ebene lassen sich potentielle Schwachstellen in einem Code frühzeitig lokalisieren.
Static analysis finds potential issues in code by doing an analysis on the source code level.
Marcelo Magallonergänzte, dass automake-Versionen nicht auf Quellcode-Ebene kompatibel sein und bat darum, den Umfang an überflüssigen Programmcode so gering wie möglich zu halten.
Marcelo Magallonadded that automake versions are not compatible at source level and asked to keep the amount of included cruft as small as possible.
Da ich alte Versionen nicht aufbewahre, ist es wahrscheinlich, dass man den entsprechenden Quellcode eben nicht von dieser Website beziehen kann - und ich kann auch nicht garantieren, dass diese Website immer erreichbar bleibt.
I don't keep old versions, so chances are, that you can not get the corresponding source code from this website - and I cannot guarantee, that this website is always reachable.
Optimiert HDX Traffic auf Quellcode-Ebene und bietet den Anwendern so die bestmögliche XenApp- und XenDesktop-Performance
Optimizes HDX traffic at the source code level, delivering the best possible XenApp and XenDesktop experience to users
Die Betriebssysteme Red Hat Linux, SuSE Linux, Debian Linux und OpenBSD werden von uns bis auf Quellcode-Ebene betreut. Ebenso verhält es sich mit Server-Software wie Samba, Apache und Datenbanken.
The Red Hat Linux, SuSE Linux, Debian Linux and OpenBSD operating systems and server software such as Samba, Apache as well as databases are maintained by us down to source code level.
Im vorliegenden Fall kann man die App (getestete Version: 1.0.1) allerdings als ziemlich ungesichert bezeichnen, da auf Quellcode-Ebene keinerlei Schutzvorrichtung zu finden ist.
The application (tested version 1.0.1) however is in this case pretty much unprotected as there is no protection on source code level whatsoever.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
