Examples with "Java/JML ou" and their translation in Engels
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.
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.
Andere resultaten
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.
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.
