ESC/Java2

Software screenshot:
ESC/Java2
Dettagli del software:
Versione: 2.0 Beta 5
Data di caricamento: 3 Jun 15
Sviluppatore: KindSoftware
Licenza: Libero
Popolarità: 23

Rating: 3.0/5 (Total Votes: 1)

ESC / Java2 è statico Checker estesa per Java. Automaticamente, rileva staticamente e modularmente errori di programmazione più comuni. Motivi ESC / Java2 su programmi Java che sono (opzionale) annotazioni scritte in JML

Cosa c'è di nuovo in questa versione:.

  • Non ci sono grandi cambiamenti funzionali, ma alcuni bugfix e la pulizia delle funzioni esistenti.
  • Questo è destinato ad essere la versione finale e la prima release stabile.

Programmi simili

pytest-marks
pytest-marks

15 Apr 15

pinocchio
pinocchio

14 Apr 15

databene benerator
databene benerator

14 Apr 15

Altri software di sviluppo KindSoftware

Commenti a ESC/Java2

I commenti non trovato
Aggiungi commento
Accendere le immagini!