ESC/Java2 Frontend

Screenshot Λογισμικό:
ESC/Java2 Frontend
Στοιχεία Λογισμικού:
Εκδοχή: 2.0.5
Ανεβάστε ημερομηνία: 3 Jun 15
Προγραμματιστής: KindSoftware
Άδεια: Δωρεάν
Δημοτικότητα: 167

Rating: 1.0/5 (Total Votes: 1)

ESC έργου / Java2 Frontend αναλύει τον κώδικα της Java 1.4 πηγής και Java 1.5 bytecode σε ένα αφηρημένο συντακτικό δέντρο που μπορεί να χρησιμοποιηθεί για την Επέκταση στατικό έλεγχο.
Η Εκτεταμένη Στατική Έλεγχος για έκδοση Java 2 (ESC / Java2) είναι ένα εργαλείο προγραμματισμού που προσπαθεί να βρει κοινά σφάλματα χρόνου εκτέλεσης σε JML-σχολιασμένη προγράμματα Java από στατική ανάλυση του κώδικα του προγράμματος και επίσημη χαρακτηρισμούς του. Οι χρήστες μπορούν να ελέγχουν την ποσότητα και τα είδη του ελέγχου που ESC / Java2 εκτελεί από το σχολιασμό των προγραμμάτων τους με σχόλια ειδικά διαμορφωμένο ονομάζεται pragmas.
ESC / Java2 είναι διαθέσιμο σε δύο μορφές:

Παρόμοια λογισμικά

MDP
MDP

11 May 15

ATLAS
ATLAS

17 Feb 15

JMathLib
JMathLib

3 Jun 15

Άλλο λογισμικό του προγραμματιστή KindSoftware

ESC/Java2
ESC/Java2

3 Jun 15

Σχόλια για ESC/Java2 Frontend

Τα σχόλια δεν βρέθηκε
προσθήκη σχολίου
Ενεργοποιήστε τις εικόνες!