jppa
jppa ist ein Zeiger und ein Reinheitanalyse Werkzeug für Java Programme. Hauptsächlich ein Reinheitanalyse Werkzeug: ein volles Java Programm gegeben, ermittelt es reine JML-Art Methoden d.h. Methoden, die nicht mutate vorhandene Gegenstände (sie können mutate Neue).。
Status
Alpha
Beabsichtigte Publikum
Wissenschaft/Forschung
Lizenz
GPL
OS
OS Independent
Programmiersprache
JAVA
Thema
CASE
Programmierer
1
seit
2006-02-21 11:28
du kannst an folgendem URL downloaden
http://sourceforge.net/projects/jppa