Vertaling van "formal specification " (Engels → Nederlands) :

TERMINOLOGIE

formal specification
formele specificatie

verify formal ICT specifications | verify formal IT specifications
ICT-specificaties opstellen | juistheid van formele ICT-specificaties bevestigen | formele ICT-specificaties verifiëren | ICT-specificaties verifiëren

Personal Workstation for Incremental Graphical Specification and Formal Implementation of Non-Sequential Systems | GRASPIN [Abbr.]
individueel werkstation voor incrementele grafische specificatie en formele implementatie van niet-sequentiële systemen | GRASPIN [Abbr.]

administrative formalities [ administrative burden | administrative cost | administrative simplification | bureaucracy | cost of administration | cost of administrative formalities | simplification of administrative formalities | Bureaucracy(STW) | bureaucracy(UNBIS) ]
administratieve formaliteit [ administratieve kosten | administratieve lasten | bureaucratie | vereenvoudiging van administratieve formaliteiten ]

Definition: The main feature is a specific and significant impairment in the development of reading skills that is not solely accounted for by mental age, visual acuity problems, or inadequate schooling. Reading comprehension skill, reading word recognition, oral reading skill, and performance of tasks requiring reading may all be affected. Spelling difficulties are frequently associated with specific reading disorder and often remain into adolescence even after some progress in reading has been made. Specific developmental disorders of reading are commonly preceded by a history of disorders in speech or language development. Associated emotional and behavioural disturbances are common during the school age period. | Backward reading Developmental dyslexia Specific reading retardation
Omschrijving: Het voornaamste kenmerk is een specifieke en belangrijke stoornis van de ontwikkeling van leesvaardigheden die niet wordt verklaard door alleen de verstandelijke leeftijd, visusproblemen of inadequaat onderwijs. Begrijpend lezen, woordbeeldherkenning, hardop lezen en de uitvoering van taken die lezen vereisen kunnen allemaal zijn aangetast. Spellingsmoeilijkheden zijn vaak verbonden met een specifieke leesstoornis en duren dikwijls voort tot in de adolescentie zelfs nadat er enige vooruitgang met lezen is geboekt. Specifieke ontwikkelingsstoornissen met betrekking tot lezen hebben gewoonlijk een voorgeschiedenis van stoornissen van spraak- of taalontwikkeling. Begeleidende emotionele stoornissen en gedragsstoornissen komen veel voor tijdens de schoolleeftijd. | Neventerm: | backward reading | ontwikkelingsdyslexie | specifieke leesachterstand

simplification of formalities [ reduction of formalities | simplification of customs checks ]
vereenvoudiging van de formaliteiten [ vereenvoudiging van de controles ]

specific, measurable, acceptable, realistic and time-frame | specific, measurable, achievable, realistic and time related | specific, measurable, achievable, realistic and time-bound | specific, measurable, achievable, relevant and time-related | specific, measureable, achievable, relevant and timely | SMART [Abbr.]
specifiek, meetbaar, acceptabel, realistisch en tijdgebonden | Smart [Abbr.]

customs formalities [ customs clearance | customs declaration ]
douaneformaliteit [ douaneprocedure | douaneverklaring | inklaring | uitklaring ]

determine requirements for the transportation of specific goods | develop procedures for the transportation of specific goods | design procedures for the relocation of specific goods | develop procedures for the relocation of specific goods
procedures voor de verplaatsing van specifieke goederen ontwerpen

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
specificaties in droogschuur instellen

IN-CONTEXT TRANSLATIONS

Being a formal specification, it is directly machine-processable.
Juist doordat de ontologie een formele specificatie is, is zij geschikt voor computerverwerking.

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.
Ontologie is een expliciete, formele specificatie van een gedeelde conceptualisering en biedt een formele beschrijving van een geheel van concepten en de onderlinge relaties binnen een gegeven domein.

The debate did not allow clear operational conclusions to be drawn and no formal specific initiative was taken by the Commission.
Toentertijd heeft het debat niet tot duidelijke operationele conclusies geleid en de Commissie heeft geen specifiek formeel initiatief genomen.

* The specificities of non-formal learning in the youth field, its objectives and tasks should be looked at in more detail, and the relevance of non-formal education and the complementary character of formal and non-formal learning should be made more visible; dialogue between the relevant actors in the field, as well as social partners, researchers and policy makers, will be needed with a view to improving the recognition of non-formal learning.
* De specifieke kenmerken van niet-reguliere leeractiviteiten voor jongeren en de doelstellingen en taken ervan moeten nader worden bekeken, en de relevantie van niet-regulier onderwijs en het feit dat formele en niet-reguliere leeractiviteiten complementair zijn, moeten meer duidelijk worden gemaakt; ten behoeve van de erkenning van niet-reguliere leeractiviteiten moeten de relevante partijen op onderwijs- en opleidingsgebied en de sociale partners, onderzoekers en beleidsmakers met elkaar in dialoog gaan.

Given this reality, and in addition to closer cooperation between formal and non-formal standard-developing bodies, the direct referencing of fora and consortia standards in areas where there is clearly no risk of duplicating the scope of work of the ESOs or the formal international standardisation organisations would be the most effective way for the EU to fill specific standardisation gaps.
Gezien deze realiteit kan de EU specifieke lacunes in de normen het beste opvullen door op gebieden waar geen gevaar voor overlapping met de werkzaamheden van de ENO’s of de formele internationale normalisatieorganisaties bestaat, rechtstreeks te verwijzen naar normen van fora en consortia, en moet zij bovendien de samenwerking tussen de formele en niet-formele normalisatie-instanties versterken.