OSDN -- Open-Source-Software-Entwicklung und Downloads
Übersetzungsstatus von Deutsch translation status for de

Download von OpenJML 0.17.0-alpha-12.zip (OpenJML 0.17.0-alpha-12.zip ( externer Link: SourceForge.net): 248,084,780 Bytes) wird in Kürze beginnen. Wenn nicht, klicke auf OpenJML 0.17.0-alpha-12.zip ( externer Link: SourceForge.net).

Datei-Informationen

Dateigröße
248,084,780 Bytes
MD5
13e8b403d21dc8390a4a8879889a2a35

Wohin willst du als nächstes gehen?

Springe zum OSDN Projektseite Anderen Releases anzeigen

Projektbeschreibung

The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, unit testing, etc.