Détails logiciels:
Version: 2.0 Beta 5
Date de transfert: 3 Jun 15
Licence: Gratuit
Popularité: 116
ESC / Java2 est un statique Checker prolongée pour Java. Il automatiquement, détecte statiquement et modulaire erreurs de programmation commune. ESC / Java2 raisons concernant les programmes Java qui ont (en option) annotations écrites dans JML
Quoi de neuf dans cette version:.
- Il n'y a pas de grands changements fonctionnels, mais quelques corrections de bogues et nettoyage des fonctionnalités existantes.
- Ceci est destiné à être la version finale et la première version stable.
Commentaires non trouvées