Πρέπει να έχει Λογισμικό για KindSoftware
ESC / Java2 είναι μια εκτεταμένη Στατική Checker για Java. Είναι αυτόματα ανιχνεύει στατικά, και αρθρωτής κοινά λάθη προγραμματισμού. Λόγους ESC / Java2 σχετικά με τα προγράμματα Java που έχουν (προαιρετικό) σχολιασμούς γραμμένο σε JML Τι είναι...
ESC έργου / Java2 Frontend αναλύει τον κώδικα της Java 1.4 πηγής και Java 1.5 bytecode σε ένα αφηρημένο συντακτικό δέντρο που μπορεί να χρησιμοποιηθεί για την Επέκταση στατικό έλεγχο.Η Εκτεταμένη Στατική Έλεγχος για έκδοση Java 2 (ESC / Java2) είναι ένα...
