langage exécutable de spécification
executable specification language
Langage spécification oor Engels
Langage spécification
Vertalings in die woordeboek Frans - Engels
Specification language
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
Soortgelyke frases
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
Praspel (PHP Realistic Annotation and Specification Language) est un langage de spécification pour PHP.
You' re gonna get all the orangesWikiMatrix WikiMatrix
Selon cette invention un système de base est décrit par un langage de spécification, un nouveau service est décrit par le langage de spécification sous forme d'un supplément séparé de la description du système de base.
Having regard to Decision ECB/#/# of # February # adopting theRules of Procedure of the European Central Bank, and in particular Article # thereofpatents-wipo patents-wipo
La révision se révéla toutefois profonde, ce qui conduisit à un nouveau langage de spécification.
He makes #, # a monthWikiMatrix WikiMatrix
- LANGAGE DE SPECIFICATION DE L'INTERFACE HOMME/MACHINE
Well, maybe that will teach youEurLex-2 EurLex-2
Les langages de spécification ne sont généralement pas exécutés directement.
He has cured many dying patientsWikiMatrix WikiMatrix
Un tel langage s’appelle un langage de spécification.
Now why don' t you all get started on the satellite?Literature Literature
• Langages de spécification d’architectures d’entreprise
I live my life trusting the LordGiga-fren Giga-fren
LANGAGE DE SPECIFICATION POUR LES INTERFACES HOMME-MACHINE
In the case of the final statement of account, the interest for the delayed payment shall be calculated on a daily basis at the rate specified in the special conditionsEurLex-2 EurLex-2
Le rôle de la logique comme langage de spécification/vérification/développement logiciel est unanimement reconnu.
The reports to be submitted every two years and final implementation reports referred to in Article # of Regulation (EC) No.../# [laying down general provisions on the European Regional Development Fund, the European Social Fund and the Cohesion Fund], shall contain a summary and assessment of the implementation ofLiterature Literature
Il est généralement impossible de faire une implémentation efficace d’un langage de spécification.
The percentage of satisfied participants includes both "satisfied" and "extremely satisfied", while dissatisfied includes "dissatisfied" and "extremely dissatisfied".Literature Literature
On propose également un langage de spécification et un environnement d'exécution pour fournir un traitement à haut débit.
Most people had a savings account and little debtpatents-wipo patents-wipo
Les certificats et les CRL X-509 sont écrits dans un langage de spécifications, ASN.1 (Abstract Syntax Notation).
Article #) of the Europe Agreement provides that the Community and Bulgaria are to examine in the AssociationCouncil, product by product and on an orderly and reciprocal basis, the possibility of granting each other additional agricultural concessionsLiterature Literature
Enfin, l'ontologie des changements apportés aux formalismes OKBC et OWL a été étendue à un langage de spécification général.
You row this boat, huh?cordis cordis
Les activités de la WSMO comprennent également le développement d'un langage de spécification (WSML) et d'un environnement d'exécution (WSMX).
As soon as I introduce myself to Bode Millercordis cordis
La logique du flux de cette application propose un langage de spécification polyvalent permettant de formaliser les propriétés de sécurité.
Don' t you dare judge mecordis cordis
SDL Langage de Description et de Spécification, un langage de l'UIT associé au MSC.
I said, " You' re what? "WikiMatrix WikiMatrix
En 1987, le département de la Défense des États-Unis finança la création du VHDL, un langage de spécification des circuits.
When you realized that your body had been rendered impure, what did you do?WikiMatrix WikiMatrix
Les rapports d'exigences sont exprimés avec des éléments d'un langage de spécification et le document de spécification a un fichier source associé.
It was them Pontipeespatents-wipo patents-wipo
Une utilisation importante des langages de spécification permet de créer des preuves de la correction d'un programme (voir la démonstration automatique de théorèmes).
I can save you time, ladies.I' m right hereWikiMatrix WikiMatrix
Dans le premier mode d'édition, l'utilisateur peut spécifier une grammaire en écrivant ou en éditant une table de langage de spécification grammaire (GSL).
We picked up some signals, but they' re being jammedpatents-wipo patents-wipo
L'objectif final de ce langage de spécification est de fournir un vocabulaire et une syntaxe permettant de spécifier de façon précise les changements d'ontologies.
Hertzel, what are you doing?cordis cordis
Par exemple, un utilisateur peut introduire un ensemble de règles de données en utilisant un premier langage de spécification pour décrire un programme informatique souhaité.
Our clerk felt that it was imperative that we meet because we had a French correction to makepatents-wipo patents-wipo
Les spécifications de protocoles de sécurité écrites à l'aide du langage HLPSL (High-Level Protocol Specification Language, ou langage de spécification de protocole de haut niveau) d'AVISPA sont traduites dans un formalisme à base de réécriture, le format intermédiaire (FI), avant de servir d'entrée à quatre terminaux de gestion différents.
Well, we can' t because of Pillow Pantscordis cordis
L'invention concerne un système et un procédé permettant d'obtenir un langage de spécification d'architecture de module logiciel, ainsi qu'un code de vérification de conformité (180, 182).
I think we should put our relationship on hold until after the electionpatents-wipo patents-wipo
Le langage de spécification et de description (LDS) est couramment utilisé dans le domaine des télécommunications pour la description des fonctionnalités et la génération de codes logiciels.
The loans are administered by the EMIcordis cordis
741 sinne gevind in 25 ms. Hulle kom uit baie bronne en word nie nagegaan nie.