Download for Windows Premium
Inschrijven Aanmelden met Google Aanmelden met Apple
Reverso Premium
Publiciteit
of the input programs

Examples with "of the input programs" and their translation in Frans

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.
It consists of a bunch of tools that operate on user-annotated C programs and generates verification conditions that would establish the correctness of the input programs.
Elle se compose d'un ensemble d'outils qui fonctionnent sur des programmes C annotés et génère des conditions de vérification qui établissent la correction des programmes fournis.

Andere resultaten

The program that models the behavior of the first one is made of sequences of nested loops, in which the functions of the innermost level compute the values of the input program trace from the loop indices.
Le programme qui exprime le comportement est constitué d'une séquence de nids de boucles dans lesquelles les fonctions de niveau les plus internes expriment les valeurs de la trace d'entrée à partir des indices de boucles.
a comparison part for comparing the calculated value with that one of the expected values in the expected-value table which corresponds to the identifier of the input program
une partie de comparaison destinée à comparer la valeur calculée avec les valeurs anticipées dans la table de valeurs anticipées qui correspond à l'identificateur du programme d'entrée
Code analyzer: studies the behavior of the input program, searches it for failure patterns, checks its correctness with respect to some specifications or some criteria.
Analyseur de code : étudie le comportement du programme, recherche certaines défaillances, vérifie que le programme est correct vis-à-vis de certaines spécifications ou de certains critères.
an input interface to which a pair of an input program and an identifier of the input program can be inputted from the exterior
une interface d'entrée dans laquelle on peut introduire de l'extérieur la paire programme d'entrée/identificateur de programme d'entrée
Without a formal specification of the input data, the program may produce unpredictable results.
Sans définition formelle des données d'entrée, le programme risque de produire des résultats imprévisibles.
Abstract: In order to develop safer software for critical applications, some static analyzers aim at establishing, with mathematical certitude, the absence of some classes of bug in the input program.
Résumé : Afin de développer des logiciels plus sûrs pour des applications critiques, certains analyseurs statiques tentent d'établir, avec une certitude mathématique, l'absence de certains types de bugs dans un programme donné.
Abstract: In order to develop safer software for critical applications, some static analyzers aim at establishing, with mathematical certitude, the absence of some classes of bug in the input program.
Ajouter des Coq. Résumé : Afin de développer des logiciels plus sûrs pour des applications critiques, certains analyseurs statiques tentent d'établir, avec une certitude mathématique, l'absence de certains types de bugs dans un programme donné.
In order to facilitate the input of individual programs for several hearths...
Pour faciliter l'introduction des programmes individuels en cas d'utilisation de plusieurs chambres de cuisson...
Software testing technique, often automated or semi-automated, that involves providing invalid, unexpected, or random data to the inputs of a computer program.
La technique pour tester un logiciel, souvent automatisée ou semi-automatisée, consiste à fournir des données incorrectes, inattendues et aléatoires aux entrées d'un programme d'ordinateur.
You can connect two commands together so that the output from one program becomes the input of the next program.
Vous pouvez connecter deux commandes ensemble de sorte que la sortie d'un programme devient l'entrée du programme suivant.
Therefore, a program can be used as the input of another program.
Remarque: Tout code de programme est une chaîne de caractère qui peut être utilisée aussi comme entrée d'un autre programme.
Provides a rationale for required funding levels for each program according to the planned activity identified in the local Business Plan, which was compiled through the input of all Program Officers and approved by management.
Justifier les niveaux de financement de chaque programme en fonction des activités planifiées dans le Plan d'activités local compilé grâce à la contribution de tous les agents des programmes et approuvé par la direction.
Er zijn geen resultaten gevonden voor deze term.
Woord & uitdrukking van de dag
Afbeelding van de dag
fishnet: net used to catch fish
Ontdek het woord
fishnet
Publiciteit

Resultaten: 47740. Exact: 1. Verstreken tijd: 600 ms.