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

bigfloat
bigfloat

14 Apr 15

JKuadrat
JKuadrat

20 Feb 15

g3data
g3data

2 Jun 15

mathchem
mathchem

20 Feb 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!