ESC/Java2 Frontend

Software captura de pantalla:
ESC/Java2 Frontend
Detalles de software:
Versión: 2.0.5
Fecha de carga: 3 Jun 15
Promotor: KindSoftware
Licencia: Libre
Popularidad: 22

Rating: nan/5 (Total Votes: 0)

ESC proyecto / Java2 Frontend analiza Java de código fuente 1.4 y Java 1.5 bytecode en un árbol de sintaxis abstracta que puede ser utilizado para el control de estática extendido.
El Checker estático extendido para la versión de Java 2 (ESC / Java2) es una herramienta de programación que intenta encontrar errores comunes en tiempo de ejecución de programas Java anotadas-JML por análisis estático del código del programa y sus anotaciones formales. Los usuarios pueden controlar la cantidad y el tipo de comprobación de que el ESC / Java2 realiza anotando sus programas con los comentarios de un formato especial llamado pragmas.
ESC / Java2 está disponible en dos formas:

Programas parecidos

Otro software de desarrollador KindSoftware

ESC/Java2
ESC/Java2

3 Jun 15

Comentarios a la ESC/Java2 Frontend

Comentarios que no se encuentran
Añadir comentario
A su vez en las imágenes!