1
I Use This!
Activity Not Available
Analyzed over 2 years ago. based on code collected over 2 years ago.

Project Summary

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.

Tags

designbycontract invariants java postconditions preconditions runtimechecking verification

In a Nutshell, Java Modeling Language (JML)...

This Project has No vulnerabilities Reported Against it

Did You Know...

  • ...
    Black Duck offers a free trial so you can discover if there are open source vulnerabilities in your code
  • ...
    compare projects before you chose one to use
  • ...
    in 2016, 47% of companies did not have formal process in place to track OS code
  • ...
    learn about Open Hub updates and features on the Open Hub blog

Languages

Languages?height=75&width=75
Java
89%
HTML
9%
14 Other
2%

30 Day Summary

Jun 19 2016 — Jul 19 2016

12 Month Summary

Jul 19 2015 — Jul 19 2016
  • 97 Commits
    Down -181 (65%) from previous 12 months
  • 3 Contributors
    Down -3 (50%) from previous 12 months

Ratings

1 user rates this project:
5.0
 
5.0/5.0
Click to add your rating
   Spinner
Review this Project!