Boost Your Productivity !Translate documents (Ms-Word, Ms-Excel, ...) faster and better thanks to artificial intelligence!
https://pro.wordscope.com
https://blog. wordscope .com
Analyser les spécifications du logiciel
Analyser les spécifications du logiciel ou système
Contrôler les spécifications formelles des TIC
Demande formelle
Demande formelle d'accès à l'information
Demande officielle
Demande officielle d'accès à l'information
Définir des spécifications pour des salles de séchage
Examiner les spécifications du logiciel
Examiner les spécifications formelles des TIC
Inspecter les spécifications formelles des TIC
Langage TTCN
Langage de spécification formelle
Langage formel de spécification TTCN
Spécification formelle
Spécification formelle de haut niveau
Vérifier les spécifications formelles des TIC
évaluer les spécifications du logiciel

Translation of "Spécification formelle " (French → English) :

TERMINOLOGY
see also In-Context Translations below
spécification formelle

formal specification
IATE - Information technology and data processing
IATE - Information technology and data processing


spécification formelle de haut niveau

formal top-level specification
Sécurité des TI
IT Security


spécification formelle

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


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

verify formal ICT specifications | verify formal IT specifications
Aptitude
skill


implantation automatique dans du matériel/logiciel (firmware) de spécifications formelles

automated transformation of formal specifications into silicon/software
IATE -
IATE -


langage de spécification formelle

formal specification language
IATE - Information technology and data processing
IATE - Information technology and data processing


langage formel de spécification TTCN | langage TTCN

Tree and Tabular Combined Notation | TTCN
informatique
informatique


analyser les spécifications du logiciel ou système | évaluer les spécifications du logiciel | analyser les spécifications du logiciel | examiner les spécifications du logiciel

analyse software or system specifications | analyse software specifications
Aptitude
skill


demande officielle d'accès à l'information [ demande officielle | demande formelle d'accès à l'information | demande formelle ]

formal access to information request [ formal request ]
Gestion des communications et de l'information | Administration fédérale
Communication and Information Management | Federal Administration


définir des spécifications pour des salles de séchage

set up specifications in a curing room | set up specifications in a tempering room | set up specifications in a preserving room | set up specifications in curing room
Aptitude
skill
IN-CONTEXT TRANSLATIONS
La spécification étant formelle, l’ontologie est directement exploitable par les systèmes d’information.

Being a formal specification, it is directly machine-processable.


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.

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.


La Protocol Supporting organisation (PSO) de l'ICANN s'occupe des normes techniques évoquées ci-dessus et sa principale activité consiste à développer et à recommander des orientations formelles en matière d'attribution de paramètres pour les protocoles. Elle est responsable du patrimoine inestimable que constituent les spécifications et normes ouvertes de l'Internet, indépendantes des systèmes d'exploitation et des plates-formes utilisés par l'utilisateur final.

The ICANN Protocol Supporting organisation (PSO) is concerned with the above technical standards and has the primary responsibility for developing and recommending substantive policies in the area of protocol parameter assignment and is the custodian of the invaluable legacy of the Internet's open specifications and standards, independent of the operating systems and platforms that are employed by the final Internet user.


La spécification étant formelle, l’ontologie est directement exploitable par les systèmes d’information.

Being a formal specification, it is directly machine-processable.


For more results, go to https://pro.wordscope.com to translate your documents with Wordscope Pro!
Je peux vous dire en toute honnêteté que d’après moi, le contenu de cette directive n’est pas suffisant, dans la mesure où elle se concentre principalement sur l’application des réglementations formelles, la définition des compétences et la spécification des exigences établies pour les organes de surveillance; selon moi, elle n’a pas suffisamment de contenu.

I can say to you quite honestly that I feel that it does not have sufficient substance because it focuses primarily on implementing formal regulations, defining powers and specifying the requirements for supervisory bodies; in my view, it does not have enough core content.


Le deuxième document fait des recommandations formelles concernant les autorités qui doivent être créées, les informations et les obligations de rapport, ainsi que d’autres points, mais il ne fait pratiquement pas de recommandations matérielles, spécifiques concernant les techniques de construction ou d’exploitation, voire même les spécifications plus générales.

The second document makes many formal recommendations about the authorities to be established, information and reporting obligations and other points, but offers hardly any specific, material recommendations for construction or operating techniques, or even the most general specifications.


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.

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.


La transmission des conditions et spécifications de la transaction au modèle est également soumise à un audit interne et l'établissement de crédit met en place des procédures de réconciliation formelle entre le modèle et les systèmes de données sources, afin de vérifier en continu que les conditions et spécifications des transactions sont prises en compte dans le calcul de l'exposition positive anticipée de façon correcte ou, à tout le moins, prudente.

The transmission of transaction terms and specifications data to the model shall also be subject to internal audit and formal reconciliation processes shall be in place between the model and source data systems to verify on an ongoing basis that transaction terms and specifications are being reflected in EPE correctly or at least conservatively.


Ces conditions et spécifications sont enregistrées dans une base de données qui fait l'objet d'un audit formel à intervalles réguliers.

The terms and specifications shall be maintained in a database that is subject to formal and periodic audit.


Les décisions relatives aux valeurs faciales des pièces ont été préparées par le groupe de travail des directeurs des monnaies (MDWG) à l’issue de longs travaux d’estimation des besoins conduits entre 1991 et 1998 et formellement entérinées par le Conseil à l’occasion de l’adoption du règlement n°975/98 du 3 mai 1998 sur les "valeurs unitaires et les spécifications techniques des pièces libellées en euro destinées à la circulation".

The decisions on the face values of coins were taken by the mint directors working group (MDWG) following an in-depth requirements’ analysis, which was carried out between 1991 and 1998 and formally ratified by the Council on the adoption of Regulation (EC) No 975/98 of 3 May 1998 on the denominations and technical specifications of euro coins intended for circulation.




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

Spécification formelle

Date index:2023-02-27 -

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)