We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
If these semantics are given in a formal notation, they can be parsed with a program and used to validate the document using those semantics.
Si cette sémantique est présentée en notation formelle, elle peut être traitée par un programme et utilisée pour valider le document correspondant à cette sémantique.
It provides a set of formal rules for describing the structure of objects that are independent of machine-specific encoding techniques and is a precise, formal notation that removes ambiguities.
Il comporte un ensemble de règles formelles pour la description de la structure des objets qui sont indépendantes des techniques de codage spécifiques aux machines, et il constitue une notation formelle et précise qui dissipe les ambigüités.
Shorthand notation for references was used for the examples listed above, but there is also a formal notation for references, which is demonstrated below
Dans les exemples ci-dessus, nous avons utilisé la notation abrégée pour les références, mais il y a aussi une notation formelle pour les références, illustrée ci-dessous
In almost all cases you will use the shorthand notation for references, but in some cases the formal notation is required for correct processing.
Dans presque tous les cas, vous utiliserez pour les r? f? rences la notation abr? g? e, mais dans certains cas la notation formelle est requise pour une ex? cution correcte.
A formal notation that delineates between the work as a whole and its specific iterations, MANS attempts to function as a "score" for future re-creations of a work.
Système de notation formelle qui établit une ligne de démarcation entre l'œuvre comme telle et la spécificité de chacune de ses itérations, MANS se présente comme une « partition » à lire lors d'une éventuelle re-création d'une œuvre.
The formal notation is needed so the parser knows you mean to use the reference '$size' versus '$sizeTall' which it would if the '{}' weren't there.
La notation formelle est requise pour que l'interpréteur comprenne que l'on souhaite utiliser '$size' et non '$sizeTall', ce qui serait le cas si les accolades n'étaient pas présentes.
In the ALGOL 58 report, John Backus presented a formal notation for describing programming language syntax, later named Backus normal form then renamed Backus-Naur form (BNF).
Dans le rapport Algol 60, John Backus présentait une notation formelle pour décrire la syntaxe des langages de programmation (notation appelée Backus-Naur form, BNF).
Formal notation in sequent calculus notation
Notation formelle en notation du calcul des séquents
If an item is missing or damaged, then you can reject the delivery, or accept it "with reservations" (with a formal notation of that by the transporter).
Si un article manque, ou si un article semble abimé à cause de la condition du colis, vous pouvez rejeter la livraison, ou l'accepter sous réserve (avec un constat formel par le livreur).
The ASTD notation combines Harel's Statecharts and EB3 operators into a graphical and formal notation that can be used in order to model IS.
Le langage ASTD, combinaison des statecharts de Harel et des opérateurs de EB3, permet de modéliser graphiquement et formellement un système d'information.
In the formal notation of above a random counting measure is a map from a probability space to the measurable space (,) a measurable space. Here is the space of all boundedly finite integer-valued measures (called counting measures).
Ici est l'espace de toutes les mesures de valeurs entières finies et limitées où (appelée mesure de comptage).
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.