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.
For Java, there is a more powerful tool called Java Modeling Language that provides a more robust way of defining class invariants.
Java dispone de una herramienta más potente llamada Java Modeling Language que ofrece un método más robusto para definir invariantes de clase.
Finally, jPET can parse preconditions of methods written in JML (Java Modeling Language) and use them to avoid the generation of test cases which are not interesting.
Por último, puede analizar sintácticamente precondiciones de métodos escritas en JML (Java modeling language) y usarlas para evitar la generación de casos de prueba poco interesantes.
TACO, an open source program analysis tool that statically checks the compliance of a Java program against its Java Modeling Language specification.
TACO, programa de análisis de código abierto que estáticamente comprueba el cumplimiento de un programa de Java frente a su especificación en JML.
The X in XJML is for XML (so, we can write contracts for the Java classes which want to verify) and the JML is the acronym for Java Modeling Language, the underlying language and supported by XJML.
La X en XJML es por XML (es decir, podemos escribir contratos para las clases Java que deseemos verificar) y la JML es el acrónimo para Java Modeling Language, el lenguaje subyacente y soportado por XJML.
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.
Er zijn geen resultaten gevonden voor deze term.
Synoniemen voor java modeling language in het Engels