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.
of source code in
Es ermöglicht die Generierung von Quellcode in ein paar Klicks.
Der CLC Manager bietet über einen Kommandozeilenaufruf die Möglichkeit die Erzeugung von Quellcode in einen automatisierten Bulidprozess zu integrieren.
The CLC Manager offers the possibility to integrate the generation of source code in an automated bulidprocess via a command line call.
Es wird zur Wartung von Quellcode in der Entwicklung verwendet.
Während die Verifikation von Quellcode in den letzten Jahrzehnten viel Aufmerksamkeit auf sich gezogen hat, ist das Ziel dieser Arbeit eine Infrastruktur für korrekte Analysen von Binärdateien bereitzustellen, um dadurch das Verstehen und die Verifikation von ausführbaren Programmen zu ermöglichen.
While program verification at the source code level has received much attention in the last decades, this thesis focuses on providing a sound and precise analysis framework for binaries, thereby enabling the understanding, auditing, and verification of executable programs.
700,- EUR sind eine Menge Geld für ein Werkzeug das ausschließlich für ein kostenloses Projekt verwendet wird und wo man zusätzlich auch noch jedem Nutzer monatelange Arbeit in Form von Quellcode in die Hand drückt (weil man so nett ist und es als OpenSource frei gibt)!
900,- US$ are a lot of money since it is only used for freeware products and where each user can also get the result of month of work for free (the sourcecode)!
VeriFast dagegen dient der Analyse von Quellcode in C oder Java mit Eigenschaften, die in der sogenannten Separation Logic geschrieben wurden.
VeriFast, on the other hand, is an analyser for C and Java source code annotated with predicates written in separation logic.
Zusätzlich zum Importieren von Quellcode in ein LabVIEW-NXG-Diagramm können Sie in anderen Programmiersprachen entwickelte Anwendungen und Algorithmen wiederverwenden, indem Sie sie von einer LabVIEW-NXG-Anwendung aus aufrufen.
In addition to importing source code onto a LabVIEW NXG block diagram, you can reuse existing applications and algorithms developed in other languages by calling them from a LabVIEW NXG application.
Im Live Coding etwa, einer seit rund 15 Jahren existierenden Live-Praxis, werden mithilfe spezialisierter Programme wie Max/MSP, SuperCollider, ChucK oder Sonic Pi durch das Schreiben von Quellcode in Echtzeit Klänge erzeugt und gesteuert.
In live coding, for example (a form of live performance art that has been around for about fifteen years), sounds are generated and controlled in real time by writing source code in specialized languages such as Max/MSP, SuperCollider, ChucK or Sonic Pi.
FTOS enthält eine Hardware Abstraction Layer (HAL, Hardwareabstraktionsschicht), wodurch Anwendungen über Produktlinien hinweg portierbar sind, und der modulare Entwurf ermöglicht die Wiederverwendung von Quellcode in weitaus höherem Maße und beschleunigt die Anwendungsbereitstellung und Ausführungsgeschwindigkeit.
FTOS includes a Hardware Abstraction Layer (HAL) making applications portable across product lines and the modular design dramatically increases code reuse and accelerates application delivery and feature velocity.
Sie können bei Import von Quellcode oder Binärdateien in ein UModel-Projekt (siehe Importieren von Quellcode in Projekte und Importieren von Java-, C#- und VB-Binärdateien) Paketdiagramme generieren.
You can instruct UModel to generate package diagrams when importing source code or binaries into the UModel project (see Importing Source Code and Importing Java, C# and VB binaries).
Mehr über die Konvertierung von Quellcode in Simulink-Modelle erfahren Sie auf der Seite Modelify!
To find out more about how we can convert your source code into Simulink models or into Stateflow, please visit our Modelify page!
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.
