examiner les spécifications formelles des TIC | inspecter les spécifications formelles des TIC | contrôler les spécifications formelles des TIC | vérifier les spécifications formelles des TIC

https://ec.europa.eu/esco/port (...) (...) [HTML] [2017-12-31]

verify formal ICT specifications | verify formal IT specifications

Aptitude

skill

https://ec.europa.eu/esco/port (...) (...) [HTML] [2017-12-31]

https://ec.europa.eu/esco/port (...) [HTML] [2017-12-31]

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

http://iate.europa.eu/FindTerm (...) (...) [HTML] [2017-12-31]

requirements specification language

IATE - Information technology and data processing

http://iate.europa.eu/FindTerm (...) (...) [HTML] [2017-12-31]

http://iate.europa.eu/FindTerm (...) [HTML] [2017-12-31]

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

http://iate.europa.eu/FindTerm (...) (...) [HTML] [2017-12-31]

requirements specification language

IATE - Information technology and data processing

http://iate.europa.eu/FindTerm (...) (...) [HTML] [2017-12-31]

http://iate.europa.eu/FindTerm (...) [HTML] [2017-12-31]

langage de calcul formel

http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]

formula manipulation language

Langages de programmation

Programming Languages

http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]

http://www.btb.termiumplus.gc. (...) [HTML] [2018-01-01]

langage de spécification de compilateur

http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]

compiler specification language

Langages de programmation

Programming Languages

http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]

http://www.btb.termiumplus.gc. (...) [HTML] [2018-01-01]

spécification formelle

http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]

formal specification

Analyse des systèmes informatiques | Cycle de vie (Informatique) | Programmes et programmation (Informatique)

Systems Analysis (Information Processing) | Life Cycle (Informatics) | Computer Programs and Programming

http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]

http://www.btb.termiumplus.gc. (...) [HTML] [2018-01-01]

langage formel de spécification TTCN | langage TTCN

http://gdt.oqlf.gouv.qc.ca/fic (...) (...) [HTML] [2018-01-01]

Tree and Tabular Combined Notation | TTCN

informatique

http://gdt.oqlf.gouv.qc.ca/fic (...) (...) [HTML] [2018-01-01]

http://gdt.oqlf.gouv.qc.ca/fic (...) [HTML] [2018-01-01]

langage formel

http://gdt.oqlf.gouv.qc.ca/fic (...) (...) [HTML] [2018-01-01]

formal language

informatique > langage de programmation informatique

http://gdt.oqlf.gouv.qc.ca/fic (...) (...) [HTML] [2018-01-01]

http://gdt.oqlf.gouv.qc.ca/fic (...) [HTML] [2018-01-01]

langage formel

http://www.franca.cfwb.be/i000 (...) (...) [HTML] [2018-01-01]

Formal language

informatique

http://www.franca.cfwb.be/i000 (...) (...) [HTML] [2018-01-01]

http://www.franca.cfwb.be/i000 (...) [HTML] [2018-01-01]

IN-CONTEXT TRANSLATIONS

Les marchés publics doivent se conformer à la directive 2004/18/CE[10] qui établit une distinction entre les normes formelles et les autres spécifications techniques pour lesquelles une description des exigences fonctionnelles est requise en supplément.

https://eur-lex.europa.eu/lega (...) (...) [HTML] [2017-12-31]

Public procurement has to comply with Directive 2004/18/EC[10] which differentiates between formal standards and other technical specifications, for which a description of functional requirements is additionally requested.

https://eur-lex.europa.eu/lega (...) (...) [HTML] [2017-12-31]

https://eur-lex.europa.eu/lega (...) [HTML] [2017-12-31]

Si nous en savions plus sur l'effet réel de ce projet sur tout le monde, dans un langage pas trop formel et que nous puissions comprendre : voilà quels vont probablement être les effets sur vous.

http://www.parl.gc.ca/Content/ (...) (...) [HTML] [2014-09-03]

' Maybe if we had more education about what this bill will actually mean to everyone, in a language that is not formal but that we could actually understand: ``This will affect you probably in these ways.

http://www.parl.gc.ca/Content/ (...) (...) [HTML] [2014-09-03]

http://www.parl.gc.ca/Content/ (...) [HTML] [2014-09-03]

La manière de procéder y est décrite dans un langage plus formel.

http://www.parl.gc.ca/Content/ (...) (...) [HTML] [2014-09-03]

It contains more formal language for how to do this.

http://www.parl.gc.ca/Content/ (...) (...) [HTML] [2014-09-03]

http://www.parl.gc.ca/Content/ (...) [HTML] [2014-09-03]

Le caractère informel du langage et de communication dans le Web 2.0 ne s'inscrit pas dans le type de communications structurées et formelles auquel s'attend le gouvernement.

http://www.parl.gc.ca/content/ (...) (...) [HTML] [2014-09-02]

That informality of speech and communication within Web 2.0 does not fit the formal structured type of communications that government expects.

http://www.parl.gc.ca/content/ (...) (...) [HTML] [2014-09-02]

http://www.parl.gc.ca/content/ (...) [HTML] [2014-09-02]

For more results, go to https://pro.wordscope.com to translate your documents with Wordscope Pro!

des spécifications de formats de fichiers utilisant un langage électronique normalisé (dénommé ci-après «langage SEQE-UE») fondé sur XML et destiné à être utilisé avec des systèmes automatisés avancés.

https://eur-lex.europa.eu/lega (...) (...) [HTML] [2012-06-20]

file format specifications using a standardised electronic reporting language (hereinafter the ‘EU ETS reporting language’) based on XML for the use in connection with advanced automated systems.

https://eur-lex.europa.eu/lega (...) (...) [HTML] [2012-06-20]

https://eur-lex.europa.eu/lega (...) [HTML] [2012-06-20]

a)des spécifications de formats de fichiers utilisant un langage électronique normalisé (dénommé ci-après «langage SEQE-UE») fondé sur XML et destiné à être utilisé avec des systèmes automatisés avancés.

https://eur-lex.europa.eu/lega (...) (...) [HTML] [2012-06-20]

(a)file format specifications using a standardised electronic reporting language (hereinafter the ‘EU ETS reporting language’) based on XML for the use in connection with advanced automated systems.

https://eur-lex.europa.eu/lega (...) (...) [HTML] [2012-06-20]

https://eur-lex.europa.eu/lega (...) [HTML] [2012-06-20]

Spécification relative au langage de modélisation unifié (UML) de l’Object Management Group, version 2.1.1.

https://eur-lex.europa.eu/lega (...) (...) [HTML] [2010-01-25]

Object Management Group Unified Modelling Language (UML) Specification Version 2.1.1.

https://eur-lex.europa.eu/lega (...) (...) [HTML] [2010-01-25]

https://eur-lex.europa.eu/lega (...) [HTML] [2010-01-25]

utilise la spécification du langage de balisage extensible (XML) tel que défini par la norme ISO visée à l’annexe III, point 17, pour l’encodage des données,

https://eur-lex.europa.eu/lega (...) (...) [HTML] [2010-01-25]

use the extensible mark-up language (XML) specification as defined in the ISO standard referred to in Annex III point 17 for data encoding,

https://eur-lex.europa.eu/lega (...) (...) [HTML] [2010-01-25]

https://eur-lex.europa.eu/lega (...) [HTML] [2010-01-25]

Après avoir décidé quels seront les Etats membres qui participeront à L'UEM, le Conseil a adopté formellement, à l'unanimité des Etats membres participants, le règlement sur les valeurs unitaires et les spécifications techniques des pièces libellées en euros destinées à la circulation.

http://europa.eu/rapid/press-r (...) (...) [HTML] [1998-05-02]

Having decided on which Member States participate in EMU, the Council formally adopted, by unanimity of the participating Member States, the regulation on the denominations and technical specifications of euro coins intended for circulation.

http://europa.eu/rapid/press-r (...) (...) [HTML] [1998-05-02]

http://europa.eu/rapid/press-r (...) [HTML] [1998-05-02]

Par exemple, toutes les corrections d'erreurs formelles ou matérielles dans un contrat, les spécifications qui étaient prévues au départ mais qui n'ont pas atteint leur objectif, etc.

http://europa.eu/rapid/press-r (...) (...) [HTML] [1997-02-25]

Examples are all corrections of material or formal errors in the contract, specifications that were foreseen at the start but failed the achieved aim, etc.

http://europa.eu/rapid/press-r (...) (...) [HTML] [1997-02-25]

http://europa.eu/rapid/press-r (...) [HTML] [1997-02-25]

Others have searched : langage ttcn langage d'analyse fonctionnelle langage de calcul formel langage de spécification langage de spécification d'exigences langage de spécification de compilateur langage de spécification formelle langage formel langage formel de spécification ttcn spécification formelle

www.wordscope.com (v4.0.br.77)

langage de spécification formelle

Date index:2022-02-26 -

Pour agences de traduction et traducteurs - For translation agencies & translators

Paris - Brussels - Montreal - Genève - Luxembourg - Madrid

Wordscope - Professional computer-assisted translation tools (CAT tools)

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

Pour agences de traduction et traducteurs - For translation agencies & translators Paris - Brussels - Montreal - Genève - Luxembourg - Madrid Wordscope - Professional computer-assisted translation tools (CAT tools)

Pour agences de traduction et traducteurs - For translation agencies & translators

Paris - Brussels - Montreal - Genève - Luxembourg - Madrid

Wordscope - Professional computer-assisted translation tools (CAT tools)