Livre Garantia de qualidade e teste de software Para KindSoftware
ESC / Java2 é um Extended Verificador estático para Java. Ele automaticamente, estaticamente, e modularmente detecta erros comuns de programação. Razões ESC / Java2 sobre programas Java que (opcional) anotações escritas em JML O que é novo nesta...