Boost Your Productivity!Translate documents (Ms-Word, Ms-Excel, ...) faster and better thanks to artificial intelligence!
https://pro.wordscope.com
https://blog. wordscope .com
LDS
Langage TTCN
Langage d'analyse fonctionnelle
Langage d'exécution
Langage de spécification
Langage de spécification d'exigences
Langage de spécification de compilateur
Langage exécutable de spécification
Langage formel de spécification TTCN
Langage objet
Langage résultant

Translation of "langage exécutable de spécification " (French → English) :

TERMINOLOGY
see also In-Context Translations below
langage exécutable de spécification

executable specification language


langage formel de spécification TTCN | langage TTCN

Tree and Tabular Combined Notation | TTCN


langage d'analyse fonctionnelle | langage de spécification | langage de spécification d'exigences

requirements specification language


langage d'analyse fonctionnelle | langage de spécification d'exigences

requirements specification language


langage objet [ langage résultant | langage d'exécution ]

object language [ execution language | catalanguage ]


langage de spécification et de description fonctionnelles | LDS [Abbr.]

LDS [Abbr.]


langage de spécification de compilateur

compiler specification language
IN-CONTEXT TRANSLATIONS
7. Au plus tard le 14 décembre 2017, la Commission adopte, au moyen d'actes d'exécution, les spécifications de forme du passeport phytosanitaire utilisé pour la circulation sur le territoire de l'Union et du passeport phytosanitaire utilisé pour l'introduction et la circulation dans une zone protégée, en ce qui concerne les passeports phytosanitaires visés au paragraphe 2, premier et deuxième alinéas, et au paragraphe 5, deuxième et troisième alinéas.

7. By 14 December 2017, the Commission shall adopt, by means of implementing acts, the format specifications of the plant passport for movement within the Union territory and the plant passport for introduction into, and movement within, a protected zone, as regards the plant passports referred to in the first and second subparagraphs of paragraph 2 and in the second and third subparagraphs of paragraph 5.


3. La Commission adopte, au moyen d'actes d'exécution, les spécifications de forme des attestations visées au paragraphe 1 du présent article.

3. The Commission shall adopt, by means of implementing acts, the format specifications of the attestations referred to in paragraph 1 of this Article.


2. Sur la base de l'évaluation visée au paragraphe 1, la Commission définit pour Copernicus, au moyen d'actes d'exécution, les spécifications techniques nécessaires en matière de sécurité.

2. On the basis of the evaluation referred to in paragraph 1, the Commission shall by means of implementing acts establish the necessary security-related technical specifications for Copernicus.


3. Au plus tard le 1er juillet 2015, la Commission prévoit, au moyen d’actes d’exécution, les spécifications relatives à la forme et notamment à la présentation, à la composition, à la taille et à la conception du label de confiance de l’Union pour les services de confiance qualifiés.

3. By 1 July 2015 the Commission shall, by means of implementing acts, provide for specifications with regard to the form, and in particular the presentation, composition, size and design of the EU trust mark for qualified trust services.


For more results, go to https://pro.wordscope.com to translate your documents with Wordscope Pro!
3. Au plus tard le 18 septembre 2015, compte tenu des normes internationales pertinentes et sous réserve du paragraphe 2, la Commission fixe, au moyen d’actes d’exécution, les spécifications techniques, normes et procédures minimales sur la base desquelles les niveaux de garantie faible, substantiel et élevé sont spécifiés pour les moyens d’identification électronique aux fins du paragraphe 1.

3. By 18 September 2015, taking into account relevant international standards and subject to paragraph 2, the Commission shall, by means of implementing acts, set out minimum technical specifications, standards and procedures with reference to which assurance levels low, substantial and high are specified for electronic identification means for the purposes of paragraph 1.


Depuis lors, des règles d'exécution, des spécifications informatiques techniques, des lignes directrices et des notes explicatives destinées aux administrations fiscales et aux entreprises ont été élaborées, tandis que la Commission a collaboré activement avec toutes les parties intéressées (organisation de conférences, de formations, etc.) pour assurer une bonne application des nouvelles règles à partir du 1er janvier.

Since then, implementing rules, technical I. T. specifications, guidelines and explanatory notes for tax administrations and businesses have been set out, while the Commission has actively engaged with all interested parties (conferences, trainings etc) to ensure a smooth application of the new rules from 1 January.


Lorsque les clients de SAS Institute voulaient exécuter leurs programmes d’application développés en langage SAS ou en créer de nouveaux, ils n’avaient pas, en principe, d’autre possibilité que de continuer à obtenir une licence pour pouvoir utiliser les composants nécessaires du système SAS.

When SAS Institute’s customers wanted to run their SAS Language application programs or create new ones, they had, as a rule, no alternative but to continue to acquire a licence to be able to use the necessary components in the SAS System.


Il permet aux utilisateurs d’écrire et d'exécuter des programmes d’application (également connus sous le nom de « scripts ») écrits dans le langage de programmation SAS permettant de manipuler les données.

It permits users to write and run application programs (also known as “scripts”), written in SAS programming language and enabling users to manipulate data.


- Participation in the Framework Programme, through the execution of specific research programmes and exploratory research, - Provision to the relevant Commission departments of Scientific and Technical Support, - Provision of Scientific and Technical services, financed by external private and public bodies.

- Participation in the Framework Programme, through the execution of specific research programmes and exploratory research, - Provision to the relevant Commission departments of scientific and technical support, - Provision of scientific and technical services, financed by external private and public bodies.


Comme exemple de travaux dans le premier de ces domaines, la forte position de l'Europe dans le secteur des langages de programmation logique a ete mise a profit pour produire des versions de ces langages, correspondant a l'etat de l'art, afin de les utiliser dans les systemes cognitifs. Ainsi, comme resultat immediat d'un projet ESPRIT, l'institut belge de gestion a recemment mis sur le marche un PROLOG BIM, systeme de developpement PROLOG a compilateur qui produit un code objets qui s'execute plus rapidement que le code objets produ ...[+++]

As an example of work in the first of these areas, advantage was taken of Europe's strong position in Logic programming languages by producing state-of-the art versions of such languages to be used in knowledge based systems which is illustrated by the following examples which relate especially to the language Prolog: As a direct result of an ESPRIT project the Belgian Institute of Management has recently released BIM-Prolog, a computer based Prolog development system with a compiler producing code which executes faster than code produced by any other Prolog compiler in the world.




datacenter (12): www.wordscope.ca (v4.0.br)

langage exécutable de spécification ->

Date index: 2021-02-11
w