Uusi Ohjelmisto Varten KindSoftware
ESC / Java2 Frontend hanke jäsentää Java 1.4 lähdekoodi ja Java 1.5 bytecode osaksi Abstract Syntax Tree, joka voidaan käyttää Extended Staattinen tarkistaminen.Laajennettu Static Checker Java-versio 2 (ESC / Java2) on ohjelmointityökalu, joka yrittää...
ESC / Java2 on laajennettu pysyvä Checker Java. Se automaattisesti, staattisesti ja modulaarisesti tunnistaa yhteisiä ohjelmointivirheitä. ESC / Java2 syistä Java-ohjelmia, jotka ovat (lisävaruste) merkinnät kirjoitetaan JML. Mikä on uusi tässä...
Viimeksi katsotut ohjelmisto