Dazu gibt es eine ganze Reihe von Verfahren, die mathematisch-logisch sicherstellen, dass sich bestimmter Programmcode an eine bestimmte Spezifikation hält.
For this purpose there are numerous methods that use mathematics and logic to ensure that a certain program code complies with a certain specification.
Autres résultats
"Das alles fängt mit Programmcodes an und einer langen Liste an Regeln, die bei der Kommandogenerierung beachtet werden müssen", beschreibt Edith Maurer die Kommunikation mit dem Satelliten.
"It all starts with program codes and a long list of rules which must be observed when generating orders," Maurer says, describing the communication with the satellite.
Zur Übertragung von Programmcodes an einen Programmspeicher eines Steuergerätes insbesondere für Kraftfahrzeuge werden alle Speicherzellen des Programmspeichers zunächst gelöscht und vorzugsweise mit einem ungültigen Programmcode (illegal Opcode) beschrieben.
In order to transmit program codes to a program memory of a control device, particularly for motor vehicles, all memory cells of the program memory are first cleared and written preferably with an invalid program code (illegal Opcode).
VERFAHREN ZUR ÜBERTRAGUNG VON PROGRAMMCODES AN EINEN SPEICHER EINES STEUERGERÄTES, INSBESONDERE FÜR KRAFTFAHRZEUGE
METHOD FOR TRANSMITTING PROGRAM CODES TO A MEMORY OF A CONTROL DEVICE, PARTICULARLY FOR MOTOR VEHICLES
Es wird ein Verfahren zur rechnergestützten Performanzanalyse eines Datenverarbeitungssystems beschrieben, in welchem ein Programmcode mit einer Mehrzahl an Codeteilen abläuft.
The invention relates to a method for the computer-assisted performance analysis of a data processing system, wherein a program code with a plurality of code parts is running.
Computersoftware mit einem Programmcode zur Lieferung an einen Computer für die Ausführung aller Schritte des Verfahrens nach einem der Ansprüche 1 bis 4. Aufzeichnungsmedium, in dem die Computersoftware nach Anspruch 9 gespeichert ist
Computer software having program code for providing to a computer for carrying out all the steps of the method according to any of Claims 1 to 4. A recording medium in which computer software according to claim 9 is stored.
Angreifer schauen sich als Erstes den Programmcode an.
das MSDN und andere Websites bieten Testwerkzeuge für ein erfolgreiches Testen Ihres Programmcodes an.
the MSDN, and other sites offer testing tools for successful testing of your code.
Und schließlich stellen diese Tags eine Option dar, Teile von Programmcode an andere weiterzugeben, wobei Sie diese Tags sogar verschlüsseln können, um das Ausspähen der zugrunde liegenden Tag-Logik zu verhindern.
They provide an easy way to distribute your code to others; you can even distribute encrypted versions of the tags to prevent access to the tag logic.
Im Rahmen der phasenweisen Entwicklung sollte daher in regelmäßigen Abständen die Qualität des erstellten Programmcodes an sich und die Konformität gegenüber der entworfenen Softwarearchitektur sichergestellt werden.
At the end of the first implementation phase the BVA has to check the quality of the source code and the associated documents particularly with respect to maintainability and reusability.
So konnte der Hessische Rundfunk Sophora erfolgreich einführen, ohne dass eine einzige Zeile Programmcode an unserem CMS geändert werden musste.
With Sophora, the Hessische Rundfunk successfully implemented ourCMS without a single change to its code. 7.
Verfahren nach Anspruch 9 oder 10, das weiterhin das Herunterladen des Programmcodes an den Knoten auf mindestens einer periodischen Basis und als Antwort auf eine Verwaltungsanfrage umfasst.
The method of claim 9 or 10, further comprising downloading the program code to the node on at least one of a periodic basis and in response to a management request.
Daher nicht verwirren lassen, wenn man den Programmcode ansieht.
Therefore, do not be confused when looking at the program code.
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.
