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.
Project Reviews
-
Thumbs up
It is really very simple to use and requires no extra installs other than JDK. I could make it work in just few minutes.
Rate and Review
Related Projects
-
CLOPS
CLOPS generates a command line parser and documentation from a succinct description of the command line. The user can explicitly express dependencies between the individual options such as exclusion or overrides.
-
-
B Compiler
The B compiler is a tool able to parse B models, and perform syntaxic and semantic analysis. It can also be used as a library, linked to applications manipulating B models (cross referencer, code generator, documentation generator, etc.).
Java Modeling Language (JML) Actions
About SourceForge
Develop Software
Community
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
