Nouveau : Traduire du texte avec ChatDico – 172 langues

Dictionnaire français - anglais

vérification syntaxique

syntactic check

informatique et traitement des données - iate.europa.eu

Cette notation pourrait être rendue universelle au sein d’un système d’hôte, simplifiant la vérification syntaxique pour un numéro en décimal séparé par des points.

This notation could be made universal within a host system, simplifying the syntactic checking for a dotted-decimal number.

général - CCMatrix (Wikipedia + CommonCrawl)

▷

Formal aspects of computing how to stop time stopping... Some time ago, Tripakis proposed a syntactic check on the structure of timed automata: If a certain condition (called strong non-zenoness) is met by all the loops in a given automaton, then zeno-timelocks are guaranteed...

général - core.ac.uk - PDF: kar.kent.ac.uk

Using alloy in process modellingMany notations and supporting tools are available to be used for describing business processes, but most lack the ability to do more than a syntactic check on the form of the model....

PDF: citeseerx.ist.psu.edu

Integrating topological proofs with model checking to instrument iterative design... Results show that: (i) topological proofs are ≈60% smaller than the original models; (ii) after a revision, in ≈78% of cases, the property can be re-verified by relying on a simple syntactic check

PDF: orbilu.uni.lu

Behavioural types for synchronous software composition 1 abstract... In this work, we show how a complete axiom system for CaSE allows these equivalences to be reduced to a syntactic check, which is more fitting to a type system

PDF: citeseerx.ist.psu.edu

Chase: a static checker for jml's assignable clause... The method that we propose is incomplete, as it only makes a syntactic check and it does not take aliasing or expression evaluation into account, but it provides efficient means to find the most common errors in assignable clauses....

PDF: citeseerx.ist.psu.edu

vérification syntaxique

syntax check

informatique et traitement des données - iate.europa.eu

L'éditeur de code dispose de fonctionnalités avancées comme la vérification syntaxique et l'auto-completion.

The code editor has advanced features like syntax checking and auto-completion.

général - CCMatrix (Wikipedia + CommonCrawl)

Par exemple, Flycheck est une extension de vérification syntaxique pour GNU Emacs 24 avec prise en charge de 39 langues.

For example, Flycheck is a modern on-the-fly syntax checking extension for GNU Emacs 24 with support for 39 languages.

général - CCMatrix (Wikipedia + CommonCrawl)

Par exemple, Flycheck est une extension de vérification syntaxique pour GNU Emacs 24 avec prise en charge de 39 langues.

For example, Flycheck is a syntax checking extension for GNU Emacs 24 with support for 39 languages.

général - CCMatrix (Wikipedia + CommonCrawl)

▷

Xtce govsat tool suite 1.0... The Validation Tool is used to syntax check GOVSAT XML files....

général - core.ac.uk - PDF: hdl.handle.net

Semantic metadata instantiation and consolidation within an ontology-based multimedia document management system... Following the principle of divide-and-conquer, the suggested approach separately addresses the problems of general translation of diverse information sources, syntax check, normalization, and duplication and conflict handling....

PDF: citeseerx.ist.psu.edu

Design of plc sequential function chart based on iec61131-3 standard...realized.The syntax check and logic check of SFC are achieved by traveling recursively and iterating the layers of the nested data structure of SFC....

PDF: www.scientific.net

Performance of watermarking as an error detection mechanism for corrupted h.264/avc video sequences... In order to handle possible decoding desynchronization at the receiver, we implement a syntax check error detection mechanism together with watermarking and evaluate its performance....

PDF: citeseerx.ist.psu.edu

Il nuovo sistema di assegnazione dei nic-handle nel registro del cctld "it"... In particular, the document shows the impact of the new system on the syntax check software as well as the registration forms and the Registry Web site

PDF: puma.isti.cnr.it

Publications scientifiques

▷

La vérification de patrons de workflow métier basés sur les flux de contrôle : une approche utilisant les systèmes à base de connaissances

... L'objectif est de transformer un processus métier en un patron de workflow métier basé sur les flux de contrôle qui garantit la vérification syntaxique et sémantique....

... The objective of the thesis is to transform a business process into a control flow-based business workflow template that guarantees syntactic and semantic validity....

général - core.ac.uk - PDF: tel.archives-ouvertes.fr

Synonymes et termes associés français

contrôle syntaxique

•

contrôle de la syntaxe

•

vérification de la syntaxe

•

contrôle

•

perquisition

•

Vérification

[...]

vérification

•

vérifier

•

vérification

•

recherche

•

VÉRIFICATION

•

contrôle par comparaison de deux échantillons

•

révision

•

fouille

•

audit

•

examen

•

Exemples français - anglais

vérification

verification

communication / production et structures agricoles / agriculture, sylviculture et pêche / activité agricole / sciences naturelles et appliquées / gestion comptable / politique de coopération / organisation de l'entreprise / droit international / vie politique et sécurité publique / pouvoir exécutif et administration publique / informatique et traitement des données / union européenne - iate.europa.eu

testing

communication - techdico

checking

industrie mécanique - lexique.mecaniqueindustrielle.com

[...]

check

software verification

Traductions en contexte français - anglais

Adobe Campaign effectue une vérification syntaxique des adresses email saisies.

Adobe Campaign checks the syntax of email addresses entered.

général - CCMatrix (Wikipedia + CommonCrawl)

Bounceless offre un outil de nettoyage d’emails à la fois classique et puissant, depuis la vérification syntaxique jusqu’à la requête SMTP.

Bounceless offers a classic yet powerful email cleaning engine, from syntax verification to SMTP request.

général - CCMatrix (Wikipedia + CommonCrawl)

1 milliard de traductions classées par domaine d'activité en 28 langues

Nouveau : Traduire du texte avec ChatDico – 172 langues

Requêtes fréquentes français :1-200, -1k, -2k, -3k, -4k, -5k, -7k, -10k, -20k, -40k, -100k, -200k, -500k, -1000k,

Requêtes fréquentes anglais :1-200, -1k, -2k, -3k, -4k, -5k, -7k, -10k, -20k, -40k, -100k, -200k, -500k, -1000k,

Traduction Translation Traducción Übersetzung Tradução Traduzione Traducere Vertaling Tłumaczenie Mετάφραση Oversættelse Översättning Käännös Aistriúchán Traduzzjoni Prevajanje Vertimas Tõlge Preklad Fordítás Tulkojumi Превод Překlad Prijevod 翻訳 번역 翻译 Перевод