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.
Contenido potencialmente sensible o inapropiado
Los ejemplos se utilizan solo para ayudarte a traducir la palabra o expresión en diversos contextos. Nosotros no los seleccionamos ni los validamos y pueden contener términos o ideas inapropiados. Infórmanos sobre este tipo de ejemplos para que sean editados o dejen de mostrarse. Las traduccciones potencialmente sensibles, inapropiadas o coloquiales suelen estar marcadas con rojo o con naranja.
No se han encontrado resultados para esta acepción.
Sinónimos y analogías para "java modeling language" en inglés