ESC/Java2 Frontend

Software screenshot:
ESC/Java2 Frontend
Podrobnosti Software:
Verze: 2.0.5
Datum uploadu: 3 Jun 15
Vývojka: KindSoftware
Licence: Volný
Popularita: 22
Ke stažení

Rating: nan/5 (Total Votes: 0)

ESC / Java2 Frontend projekt analyzuje Java 1.4 zdrojový kód a Java 1.5 bytecode do Abstract Syntax Tree, který může být použit pro rozšířené Static Kontrola.
Rozšířená Static Checker pro Java verze 2 (ESC / Java2) je programovací nástroj, který se snaží najít společné run-time chyb v JML-komentovaných programů v jazyce Java pomocí statické analýzy programového kódu a jeho formální poznámky. Uživatelé mohou kontrolovat množství a druhy kontroly, které ESC / Java2 provádí podle vyložit své programy se speciálně formátovaných komentářů zvaných pragmas.
ESC / Java2 je k dispozici ve dvou formách:

3 Jun 15 V Vzdělávací a věda software, Matematický software

Podobný software

Systems of Ordinary Differential Equations
Systems of Ordinary Differential Equations

20 Feb 15

Gplib++
Gplib++

12 May 15

DanCalculator
DanCalculator

20 Feb 15

CLHep
CLHep

14 Apr 15

Ostatní software developer KindSoftware

ESC/Java2
ESC/Java2

3 Jun 15

Komentáře k ESC/Java2 Frontend

Komentáře nebyl nalezen
Přidat komentář
Zapnout obrázky!
Vyhledávání podle kategorie
Populární software