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.
program specifications
System nach Anspruch 11, welches ferner eine Einrichtung zur Editierung und/oder Definierung von wenigstens einigen der Variablen der Programmspezifikationen enthält unter Verwendung eines Zellenformats zur Anzeige und Editierung der Variablen.
The system of claim 11, further including means for editing and/or defining at least some of the variables of said program specifications by using a cell format to display and edit the variables.
Das entwickelte Verfahren unterstützt unbegrenzte Schleifenausführungen und rekursive Methodenaufrufe mit Hilfe von Programmspezifikationen wie Schleifeninvarianten und Methodenverträgen.
The developed approach is able to deal with unbounded loops and recursive method invocation by using program specifications like loop invariants or method contracts.
Definieren Sie die Parameter einer Operation in einem Diagramm vollständig, wenn Sie detaillierte Programmspezifikationen kommunizieren möchten.
Define the parameters of an operation fully in a diagram when you want to communicate detailed programming specifications.
Programmspezifikationen wurden geprüft und genehmigt
Verfahren nach Anspruch 1, bei dem ferner wenigstens einige der Datenflußspezifikationen der Programmspezifikationen editiert und/oder definiert werden, indem das Datenflußzellenformat zur Anzeige und Editierung der Datenflußspezifikationen zwischen den Programmodulen verwendet wird.
The method of claim 1, further comprising editing and/or defining at least some of the data flow specifications of said program specifications by using the data flow cell format to display and edit data flow specifications between program modules.
Im Hinblick auf Veränderungen durch den technischen Fortschritt ist ViCon berechtigt, die Programmspezifikationen zu ändern, wenn sich dadurch keine wesentliche Änderung der Funktion der Software ergibt.
Regarding changes due to technological progress, ViCon is authorized to change the program specifications if this does not lead to any material change in software functionality.
Forschung In meiner Dissertation untersuche ich Methoden zur Verifikation von graph-basierten Programmspezifikationen.
Research In my PhD thesis, I investigate methods for the verification of graph-based program specifications.
3 Physical Design; Modul 5 Physical Design besteht aus einer einzigen Stufe (Stufe 6 Physical Design), in dem die logische Systemspezifikation und technische Systemspezifikation verwendet werden, eine physische Datenbank-Design und eine Reihe von Programmspezifikationen zu erstellen.
3 Physical Design; Module 5 Physical Design consists of a single stage (Stage 6 Physical Design) in which the logical system specification and technical system specification are used to create a physical database design and a set of program specifications.
Formale Überprüfung von System- und Programmspezifikationen
Die Testzentren verifizieren die Kompatibilität neuer Geräte und Apps mit den Programmspezifikationen und stellen durch interne Tests der Programmtools bei den Herstellern sicher, dass die Produkte wirklich über die Qualifikation verfügen, das Markenzeichen zu tragen.
The test centers will verify that new products meet the program specifications and are qualified to bear the trademark after internal testing by manufacturers using the program's tools.
Ein von dem Generator (2) erzeugtes Rechnerprogramm wird in dem Verifikator (3) auf Fehler überprüft, wobei der Translator (6) das Rechnerprogramm in eine zweite Programmspezifikation rücküberträgt und der Komparator (7) die beiden Programmspezifikationen vergleicht.
A computer program generated by the generator (2) is checked for errors in the verifier (3), while the translator (6) retranslates the computer program into a second program specification and the comparator (7) compares the two programs.
Mahr gewährleistet die Übereinstimmung der dem Besteller gewährten Software mit seinen Programmspezifikationen, sofern die Software auf den dazugehörigen Systemen entsprechend den Richtlinien von Mahr installiert wurde.
Mahr guarantee the compatibility of the software given to the customer with programme specifications insofar as the customer has installed the software on the relevant system in accordance with the instructions and guidelines of Mahr.
Im Hinblick auf Veränderungen durch den technischen Fortschritt ist ASBYTE berechtigt, die Programmspezifikationen zu ändern, wenn sich dadurch keine wesentliche Änderung der Funktion der Software ergibt.
With regard to modifications due to technical progress, ASBYTE shall have the right to modify the program specifications provided that this does not result in substantial changes to the software functions.
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.
