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.
Browse Files for Java Modeling Language (JML)
| File/Folder Name | Platform | Size | Date ↑ | Downloads | Notes/Subscribe |
|---|---|---|---|---|---|
| Newest Files | |||||
| jml-20090502.tar.gz | 3.9 MB | 2009-05-03 | 979 | Release Notes | |
| All Files | Subscribe | ||||
| jmlspecs | 86.3 MB | 2009-03-16 | 7,730 | Subscribe Folder view | |
| 5.2 | 14.2 MB | 2005-07-12 | 628 | Subscribe Folder view | |
| JML.5.2.tar.gz | 14.2 MB | 2005-07-12 | 628 | Release Notes | |
| 5.3 | 15.0 MB | 2006-05-17 | 1,512 | Subscribe Folder view | |
| JML.5.3.tar.gz | 15.0 MB | 2006-05-17 | 1,512 | Release Notes | |
| 5.4 | 15.1 MB | 2007-02-08 | 2,562 | Subscribe Folder view | |
| JML.5.4.tar.gz | 15.1 MB | 2007-02-08 | 2,562 | Release Notes | |
| 5.5 | 13.7 MB | 2008-01-10 | 1,506 | Subscribe Folder view | |
| JML.5.5.tar.gz | 13.7 MB | 2008-01-10 | 1,506 | Release Notes | |
| 5.6_rc3 | 14.2 MB | 2008-12-04 | 669 | Subscribe Folder view | |
| JML.5.6_rc3.tar.gz | 14.2 MB | 2008-12-04 | 669 | Release Notes | |
| 5.6_rc4 | 14.1 MB | 2009-03-16 | 853 | Subscribe Folder view | |
| JML.5.6_rc4.tar.gz | 14.1 MB | 2009-03-16 | 853 | Release Notes | |
| OpenJML | 7.3 MB | 2009-05-03 | 2,022 | Subscribe Folder view | |
| OpenJML 20071210 (alpha) | 3.5 MB | 2007-12-11 | 1,043 | Subscribe Folder view | |
| JML-20071210.tar.gz | 3.5 MB | 2007-12-11 | 1,043 | Release Notes | |
| OpenJML_jmldoc 20090502 (alpha) | 3.9 MB | 2009-05-03 | 979 | Subscribe Folder view | |
| jml-20090502.tar.gz | 3.9 MB | 2009-05-03 | 979 | Release Notes | |
About SourceForge
Develop Software
Community
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
