Não foi possível encontrar esta entrada. Mostrando resultados aproximados. Verifique a ortografia ou proponha a adição deste termo ao dicionário.
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.
Outros resultados
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.
Conteúdo potencialmente sensível ou impróprio
Os exemplos servem apenas como ajuda na tradução da palavra ou da expressão procurada. Eles não são selecionados ou validados por nós e podem conter linguagem inapropriada. Pedimos que reporte exemplos que devem ser modificados ou que não devem ser exibidos. As traduções potencialmente sensivéis, impróprias ou coloquiais geralmente são marcadas em vermelho ou em laranja.
Não foram achados resultados para esta acepção.
Sinônimos e analogias para "Java/JML ou" em francês
