- Inicio
- KindSoftware
- Herramientas de desarrollo
- Garantía de calidad y pruebas de software
ESC / Java2 es un verificador estático extendido para Java. Automáticamente, detecta de forma estática, y modular los errores comunes de programación. Razones ESC / Java2 sobre los programas de Java que han (opcional) anotaciones escritas en JML ¿Cuál...