| ESC / JAVA2. ESC / JAVA2 ist ein erweiterter statischer Checker für Java. |
Jetzt downloaden |
ESC / JAVA2. Ranking & Zusammenfassung
- Lizenz:
- Other/Proprietary Li...
- Name des Herausgebers:
- KindSoftware
- Website des Verlags:
- http://kind.ucd.ie/products/opensource/JavaFE/
ESC / JAVA2. Stichworte
ESC / JAVA2. Beschreibung
ESC / JAVA2 ist ein erweiterter statischer Checker für Java. ESC / JAVA2 ist ein erweiterter statischer Checker für Java. Es erkennt automatisch, statisch und modular auf gemeinsame Programmierfehler. ESC / Java2 Gründe für Java-Programme, die (optionale) Annotationen aufweisen, die in JML geschrieben wurden. Was ist neu in dieser Version: · Es gibt keine wichtigen Funktionsänderungen, sondern einige Bugfixes und Bereinigung der vorhandenen Funktionen. · Dies soll die endgültige Freigabe und die erste stabile Freigabe sein.
ESC / JAVA2. Zugehörige Software