ESC/Java2 Frontend

Sagteware kiekie:
ESC/Java2 Frontend
Sagteware besonderhede:
Weergawe: 2.0.5
Upload datum: 3 Jun 15
Ontwikkelaar: KindSoftware
Lisensie: Gratis
Populariteit: 22

Rating: nan/5 (Total Votes: 0)

ESC / Java2 Frontend projek ontleed Java 1,4 bronkode en Java 1,5 bytecode in 'n Abstract Syntax Tree wat gebruik kan word vir die Uitgebreide Static keur.
Die Uitgebreide Static Checker vir Java weergawe 2 (ESC / Java2) is 'n ontwikkeling instrument wat poog om gemeenskaplike run-time foute in JML-geannoteerde Java programme vind deur statiese ontleding van die program kode en die formele notas. Gebruikers kan die hoeveelheid en soorte kontroleer dat ESC / Java2 voer deur regmaak hul programme met spesiaal geformateer kommentaar genoem pragmas beheer.
ESC / Java2 is beskikbaar in twee vorme:

Soortgelyke sagteware

PDL
PDL

15 Apr 15

Stacniac
Stacniac

3 Jun 15

minpower
minpower

15 Apr 15

OctPlot
OctPlot

3 Jun 15

Ander sagteware ontwikkelaar KindSoftware

ESC/Java2
ESC/Java2

3 Jun 15

Kommentaar te ESC/Java2 Frontend

Kommentaar nie gevind
Kommentaar te lewer
Draai op die foto!