Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
program properties
Vertaling van "program properties" in Duits
Provides a summary of the new program properties.
Gibt eine Zusammenfassung der neuen Programmeigenschaften an.
For each series it is required to specify colors in the program properties section.
Für jede Serie müssen die Farben in den Programmeigenschaften festgelegt werden.
Derivation of program properties from polymorphic types in modern functional and functional-logic languages
Ableitung von Programmeigenschaften aus polymorphen Typen in modernen funktionalen und funktional-logischen Sprachen
The program is always run in the context specified by administrator in the program properties.
Das Programm wird immer in dem vom Administrator in den Programmeigenschaften angegebenen Kontext ausgeführt.
Provides a summary of the created program properties or a list of issues that occurred during program creation.
Gibt eine Zusammenfassung der erstellten Programmeigenschaften oder eine Liste der bei der Programmerstellung aufgetretenen Probleme an.
Astrée reports program defects caused by unspecified and undefined behaviors according to the C norm (ISO/IEC 9899:1999 (E)), program defects caused by invalid concurrent behavior, violations of user-specified programming guidelines, and computes program properties relevant for functional safety.
Astrée meldet Programmfehler durch nach C-Standard (ISO/IEC 9899:1999 (E)) unspezifiziertes und undefiniertes Verhalten, Programmfehler durch inkorrektes nebenläufiges Verhalten, Verletzungen von benutzerspezifizierten Programmierrichtlinien und berechnet Programmeigenschaften, die für die funktionale Sicherheit relevant sind. Astrée meldet
If record keeping is essential, all program properties and settings can be output to an Excel* spreadsheet and saved for future reference.
Wenn eine Protokollierung erforderlich ist, können sämtliche Programmeigenschaften und -einstellungen in eine Excel*-Tabelle ausgegeben und zum späteren Nachschlagen gespeichert werden.
When you are finished configuring program properties, click OK, and then click Next.
Klicken Sie nach dem Konfigurieren der Programmeigenschaften auf OK und dann auf Weiter.
Program analysis (Dynamic and static validation of program properties)
Programmanalysen (Dynamische und statische Überprüfung von Programmeigenschaften)
Run Time: Specifies the maximum allowed run time of the program as given in the program properties.
Laufzeit: Gibt die in den Programmeigenschaften festgelegte maximal zulässige Laufzeit des Programms an.
Shape Analyse für Algorithmen Animation: We present a non-traditional approach to algorithm visualization that is based on shape analysis, a static programm analysis, that so far has benn mostly used to verify program properties.
Kurzfassung auf Englisch: Kurzfassung auf Deutsch: Wir präsentieren eine unübliche Herangehensweise an Algorithmenvisualisierung, die auf Shape Analyse basiert, eine statische Programmanalyse, die bisher hauptsächlich zum Verifizieren von Programmeigenschaften verwendet wurde.
Opens the Program Name Properties dialog box, where program properties and other information specific to this program only can be set for the object.
Öffnet das Dialogfeld Eigenschaften von „Programmname", in dem Programmeigenschaften und andere für dieses einzelne Programm spezifische Informationen für das Objekt festgelegt werden können.
$PARAMS-Parameters defined for the program. You can set prompt and default values for individual parameters in program properties.
$PARAMS: Für das Programm definierte Parameter. Sie können Prompt- und Standardwerte für einzelne Parameter in den Programmeigenschaften festlegen.
Synoniemen voor program properties in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 37. Exact: 37. Verstreken tijd: 66 ms.
