Télécharger pour Windows Premium
Publicité
Java/JML

Exemples avec "Java/JML" et leurs traductions en français

Nous n’avons pas trouvé cette entrée. Affichage de résultats approximatifs. Vérifiez l’orthographe ou proposez d’ajouter ce terme au dictionnaire.
This latter is then animated by using an customized interpreter which restores the original operational semantics of the Java/JML.
Le modèle décrit dans ce format est ensuite animé par un interpréteur rétablissant la sémantique opérationnelle du Java/JML.
For practical purposes, the tool enables the generation of test objectives the TGV tool, or test cases for VDM, Java/JML System C. In any case, an (executable) specification of the application is necessary.
En pratique, l'outil permet la génération d'objectifs de test pour l'outil TGV, ou des cas de test pour VDM, Java/JML ou System C. Dans tous les cas une spécification (exécutable) de l'application est nécessaire.
This latter is then animated by using an customized interpreter which restores the original operational semantics of the Java/JML.
Le modèle décrit dans ce format est ensuite animé par un interpréteur rétablissant la sémantique opérationnelle du Java/JML.

Autres résultats

SANTA CHARACTER AGENT EMBODIED ON WEB ON THE BASIS OF JAVA/XML TECHNOLOGY
AGENT DE PERSONNAGES SUR LE WEB, A BASE JAVA/XML
this invention relates to santa character agent embodied on web on the basis of JAVA/XML, which induces customers to visit at the site of enterprise and provides customers with a various reward in order that once visited customers use continually the site of enterprise
la présente invention concerne un agent de personnages sur le web, à base JAVA/XML, qui incite des clients à visiter le site d'une entreprise et les récompense de diverses manières, de façon à les fidéliser
Aucun résultat pour cette recherche.

Synonymes et analogies de "Java/JML" en anglais

Le mot et l’expression du jour
L’image du jour
lighter: device producing a flame for lighting things
Découvrir le mot
Publicité

Résultats: 5. Exacts: 3. Temps écoulé: 60 ms.

Mots fréquents: 1-300, 301-600, 601-900

Expressions courtes fréquentes: 1-400, 401-800, 801-1200

Expressions longues fréquentes: 1-400, 401-800, 801-1200