Examples with "formaler Programmcode" 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.
Das führt uns zu der Frage, ob formaler Programmcode außer der Maschine, die er adressiert, überhaupt ein Publikum haben kann.
This leads us to the question of whether formal program code can have an audience outside the machine that it addresses.
Andere resultaten
Modellgetriebene Entwicklung hingegen beschreibt die Verwendung von formalen Modellen zur Beschreibung eines Softwaresystems anstelle der Erstellung von Programmcode.
The term model-driven software development on the other hand describes the creation of software systems by specifying formal models instead of writing code.
Diese formalen Modelle beschreiben das zu erstellende System auf einer höheren Abstraktionsebene als der Programmcode. Ebenso wird die Wiederverwendbarkeit für unterschiedliche Zielplattformen erhöht, indem spezielle Codegeneratoren verwendet werden.
By using formal models, the systems is described on a higher level of abstraction and reuse for different platforms can easily be achieved by using different code generators.
Die Anzahl der Seiten/ Zeichen kann gegebenenfalls auch abweichen, wenn eine Arbeit viele Tabellen oder größere formale Teile beinhaltet bzw. wenn ein wesentlicher Teil der Arbeit im Erstellen von Programmcode besteht.
The number of pages/ characters may differ if a paper contains many tables or larger formal paragraphs, or alternatively, if a major part of the work consists in creating programme code.
Formale Fehler sind am einfachsten zu finden: Wenn ein Strichpunkt am Ende eines Befehls fehlt oder eine Klammer (Syntaxfehler), dann wird der Programmcode gar nicht erst ausgeführt.
Formal errors are the easiest to find. When a semicolon is missing at the end of a command or a missing bracket (syntax error) the command code won't even be executed.
Computer nach Anspruch 12, dadurch gekennzeichnet, daß er über Mittel (321) zur formalen Verifikation eines durch Compilierung erzeugten Programmcodes (C) aufweist.
A computer according to claim 12, characterized in that it has means (321) for formal verification of a program code (C) generated by compilation.
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.
Er zijn geen resultaten gevonden voor deze term.
Synoniemen voor formaler Programmcode in het Duits
