Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
formal specification
Definitie
Vertaling van "formal specification" in Frans
Definitie
Is a formal specification of the representation forms and structure of a database.
Est-ce une spécification formelle des formes de représentation et de la structure d'une base de données.
To this end, we propose a formal specification for cloud resources, pricing strategies, and activities' temporal constraints.
Pour ce faire, nous proposons une spécification formelle des ressources cloud, des stratégies de tarification et des contraintes temporelles des activités.
The professor insists that students provide a formal specification of the recursive function.
Le professeur insiste pour que les étudiants fournissent une définition formelle de la fonction récursive.
The technical report begins with a formal specification of the problem to be solved.
On commence le rapport technique par une définition formelle du problème à résoudre.
W3C moreover defined a formal specification: XMLHttpRequest.
Le W3C a d'ailleurs défini une spécification officielle: XMLHttpRequest.
The formal specification of this algorithm helps eliminate any ambiguity when it's implemented.
La définition formelle de cet algorithme permet d'éviter toute ambiguïté lors de son implémentation.
We use a formal specification of the operations to prove that the database remains consistent.
Nous utilisons une définition formelle des opérations pour prouver que la base de données reste cohérente.
Before writing any network protocol code, the team drafts a formal specification for each step.
Avant de coder le protocole réseau, l'équipe rédige une définition formelle de chaque étape.
With a clear formal specification, the developers can mathematically verify the system's security.
Grâce à une définition formelle claire, les développeurs peuvent vérifier mathématiquement la sécurité du système.
They developed a precise formal specification of the interface to ensure the modules remain compatible.
Ils ont élaboré une définition formelle précise de l'interface afin d'assurer la compatibilité des modules.
This formal specification of the programming language is expressed using grammars and logical rules.
Cette définition formelle du langage de programmation est exprimée à l'aide de grammaires et de règles logiques.
To compare two algorithms, you first need to agree on a formal specification of their complexity.
Pour comparer deux algorithmes, il faut d'abord adopter une définition formelle de leur complexité.
A good formal specification of the possible states makes it easier to design the finite state machine.
Une bonne définition formelle des états possibles facilite la conception de la machine à états finis.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Synoniemen voor formal specification in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 143. Exact: 143. Verstreken tijd: 59 ms.
