ESC/Java2

Software screenshot:
ESC/Java2
Podrobnosti Software:
Verze: 2.0 Beta 5
Datum uploadu: 3 Jun 15
Vývojka: KindSoftware
Licence: Volný
Popularita: 116

Rating: 2.0/5 (Total Votes: 2)

ESC / Java2 je Extended Static Checker pro Javu. To automaticky, staticky, a modulárně detekuje běžné programové chyby. ESC / Java2 důvody o Java programů, které mají (nepovinné) anotace psané v JML

Co je nového v této verzi:.

  • Nejsou žádné významné funkční změny, ale některé opravy chyb a vyčištění stávajících funkcí.
  • Toto má být finální verze a první stabilní verze.

Podobný software

pytest-timeout
pytest-timeout

20 Feb 15

importchecker
importchecker

15 Apr 15

gunit-hildon
gunit-hildon

3 Jun 15

pinocchio
pinocchio

14 Apr 15

Ostatní software developer KindSoftware

Komentáře k ESC/Java2

Komentáře nebyl nalezen
Přidat komentář
Zapnout obrázky!