jppa


Thema

CASE(120)

deutsche übersetzung

CASE(6)

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