SourceForge.net

Create account Help
Search   Advanced
 

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.

Download Java Modeling Language (JML)  

Project Admins: cclifton, chalin, cheon, davidcok, leavens, robby_sf
Operating System: All 32-bit MS Windows (95/98/NT/2000/XP), All POSIX (Linux/BSD/UNIX-like OSes), OS Independent (Written in an interpreted language), Linux, OS X
License: GNU General Public License (GPL)
Category: Education, Code Generators, Compilers, Debuggers

Find Support 

Buy expert services from Sourceforge.net Marketplace. Support from the people who know.


Latest News

News archive »

Public Areas

  • Bugs : (114 open / 374 total)
    Bug Tracking System
  • Support Requests : (1 open / 39 total)
    Tech Support Tracking System
  • Patches : (8 open / 13 total)
    Patch Tracking System
  • Feature Requests : (67 open / 146 total)
    Feature Request Tracking System
  • Things to Do : (31 open / 69 total)
    Miscellaneous tasks that should be completed but aren't bugs or feature requests
  • Mailing Lists : (6 total)
  • CVS Repository : (478 commits, 21,621 reads)
    Browse CVS
  • SVN Repository : (718 commits, 4,878 reads)
    Browse SVN

Most Active Projects in Category

Project Details