Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
postcondition
Vertaling van "postcondition" in Duits
Nachbedingung
One well-known method for determining the correctness of programs with respect to a pre- and a postcondition is based on the construction of a weakest precondition of the postcondition with respect to the program and the attempt to decide whether the given precondition implies the computed weakest precondition.
Eine wohlbekannte Methode zur Bestimmung der Korrektheit von Programmen bezüglich einer Vor- und Nachbedingung basiert auf der Konstruktion einer schwächsten Vorbedingung des Programms bzgl. der Nachbedingung und dem Versuch zu entscheiden, ob die Vorbedingung die schwächste Vorbedingung impliziert. Literaturempfehlungen
Thus, those postconditions NB be checked via the postcondition NBR, which must be available at the end of the dialogue, in order to ensure a transfer of the information necessary for the operation of the background application HA via the transaction T11.
A Somit werden über die Nachbedingungsroutine NBR diejenigen Nachbedingungen NB überprüft, welche am Ende des Dialoges vorliegen müssen, um eine Übergabe sämtlicher für die Bedienung der Hintergrundapplikation HA erforderlichen Informationen über die Transaktion T11 zu gewährleisten.
The method of claim 10 or 11, characterized in that during the linking of two functionally matching transactions (T11, T21) of the universal transaction (UT) have a common postcondition (NBP) is assigned.
Verfahren nach Anspruch 10 oder 11, dadurch gekennzeichnet, dass im Rahmen der Verknüpfung zweier funktional übereinstimmender Transaktionen (T11, T21) der universellen Transaktion (UT) eine gemeinsame Nachbedingungsroutine (NBP) zugeordnet wird.
Advantageously, by the postcondition NBR varying complexity postconditions NB for different transactions T11 - defined T1x individually checked.
Vorteilhaft können durch die Nachbedingungsroutine NBR unterschiedlich komplexe Nachbedingungen NB für unterschiedliche Transaktionen T11 - T1x individuell definiert und abgeprüft werden.
Method according to one of the preceding claims, characterized in that at least one of the transactions (T11 - T1x, T21 - T2x) (NBR) is assigned at least one postcondition.
A Verfahren nach einem der vorhergehenden Ansprüche, dadurch gekennzeichnet, dass zumindest einer der Transaktionen (T11 - T1x, T21 - T2x) zumindest eine Nachbedingungsroutine (NBR) zugeordnet wird.
This is highlighted with the first postcondition.
Dies sei am Beispiel der ersten Nachbedingung verdeutlicht.
This thesis presents a theoretically founded formalism for specifying properties of graph programs and a proof-based approach to verifying the partial correctness of a graph program relative to a pre- and postcondition.
In dieser Arbeit werden ein theoretisch begründeter Formalismus zum Spezifizieren von Eigenschaften von Graphprogrammen sowie ein Verfahren zum Nachweis der partiellen Korrektheit von Graphprogrammen eingeführt.
The module is an introduction to the modelling of systems, system changes and system properties by means of graphs, graph programs and graph conditions and presents a method for proving correctness of systems with respect to a pre- and a postcondition.
Die Veranstaltung führt in die Modellierung von Systemen, Systemveränderungen und Systemeigenschaften mit Hilfe von Graphen, Graphprogrammen und Graphbedingungen ein und stellt eine Methode zum Nachweis der Korrektheit von Systemen bzgl. einer Vor- und Nachbedingung vor.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Synoniemen voor postcondition in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 8. Exact: 8. Verstreken tijd: 21 ms.
