Examples with "Java/JML ou" and their translation in English
We couldn’t find this entry. Showing approximate results. Check your spelling or suggest adding this term to the dictionary.
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.
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.
Other results
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.
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.
This latter is then animated by using an customized interpreter which restores the original operational semantics of the Java/JML.
Potentially sensitive or inappropriate content
Examples are used only to help you translate the word or expression searched in various contexts. They are not selected or validated by us and can contain inappropriate terms or ideas. Please report examples to be edited or not to be displayed. Potentially sensitive, inappropriate or colloquial translations are usually marked in red or in orange.
