French - English technical dictionary

postcondition
postcondition
communications - acta.es
Ledit procédé consiste également à identifier une précondition et une postcondition associées à ces règles.

The method also includes identifying a precondition associated with the rules and a postcondition associated with the rules.

information technology and data processing - wipo.int
La précondition représente une entrée servant à l'exécution desdites règles, et la postcondition une sortie découlant de leur exécution.

The precondition represents an input used in executing the rules, and the postcondition represents an output from the execution of the rules.

information technology and data processing - wipo.int
De plus, le procédé comporte l'exécution d'au moins une partie des règles au moyen de la valeur d'entrée afin de produire une valeur de sortie, cette dernière correspondant à la postcondition.

The output value corresponds to the postcondition.

information technology and data processing - wipo.int

French - English translation in context

De plus, le procédé comporte l'exécution d'au moins une partie des règles au moyen de la valeur d'entrée afin de produire une valeur de sortie, cette dernière correspondant à la postcondition.

In addition, the method includes executing at least a portion of the rules using the input value to generate an output value.

information technology and data processing - wipo.int


Millions of translations categorized by activity in 28 languages