ESC / JAVA2.

ESC / JAVA2 ist ein erweiterter statischer Checker für Java.
Jetzt downloaden

ESC / JAVA2. Ranking & Zusammenfassung

Anzeige

  • Rating:
  • Lizenz:
  • Other/Proprietary Li...
  • Preis:
  • FREE
  • 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