Traduction de «technique de description formelle » (Français → Anglais) :

TERMINOLOGIE

technique de description formelle
formal description technique

méthodes de vérification et de validation pour descriptions formelles (action COST 247)
verification and validation methods for formal descriptions (COST action 247)

description formelle
formal description

notice technique [ notice descriptive ]
boot talker

fiche technique | fiche descriptive
work sheet | worksheet

levé de terrain par description technique [ levé sur le terrain par description technique | méthode de la projection horizontale ]
metes and bounds survey [ survey by metes and bounds ]

TRADUCTIONS EN CONTEXTE

Une ontologie est «une description formelle explicite des concepts dans un domaine du discours». Elle décrit formellement un ensemble de concepts et de relations dans un domaine donné.
Ontology is an ‘explicit, formal specification of a shared conceptualisation’ and represents a formal description of a set of concepts and the relationships in a given domain.

l’Office des publications de l’Union européenne pourrait être chargé de l’hébergement et de la maintenance sur son portail EUR-Lex du registre des descriptions formelles des schémas d’URI des États membres, ainsi que des tables d’autorité et de l’ontologie d’ELI et des informations utiles.
The Publications Office of the European Union could host and maintain on its EUR-Lex portal the register of formal descriptions of Member States’ URI schemes, the referenced authority tables together with the ELI ontology, as well as useful information.

Pour toute pièce réceptionnée (par exemple, un composant ou une entité technique), la description peut être remplacée par une référence à la réception.
If a part (e.g. component or separate technical unit) has been type-approved, that part need not be described if reference is made to such approval.

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.

les plans, dessins techniques, calques, descriptions et autres documents similaires importés en vue de l’obtention ou de l’exécution de commandes en dehors de la Communauté ou en vue de participer à un concours organisé dans la Communauté;
plans, technical drawings, traced designs, descriptions and other similar documents imported with a view to obtaining or fulfilling orders outside the Community or to participating in a competition held in the Community;

les plans, dessins techniques, calques, descriptions et autres documents similaires importés en vue de l’obtention ou de l’exécution de commandes en dehors de la Communauté ou en vue de participer à un concours organisé dans la Communauté.
plans, technical drawings, traced designs, descriptions and other similar documents imported with a view to obtaining or fulfilling orders outside the Community or to participating in a competition held in the Community.

3.4.1.2.1. le constructeur fournit au service technique une description des défaillances potentielles du système de contrôle des émissions qui sont susceptibles d’avoir une influence sur les émissions.
3.4.1.2.1. The manufacturer shall provide the technical service with a description of potential failures within the emission control system that will have an effect on emissions.

Elle ne se limite pas à une description formelle mais cherche à évaluer le fonctionnement réel de la démocratie et de l'État de droit.
It does not confine itself to a formal description but seeks to assess the extent to which democracy and the rule of law actually operate.