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.
Latest 5 files |
|||
---|---|---|---|
Name | Size | Date | Download count |
openjml-macos-11-0.17.0-alpha-12.zip | 160.7 MB | 2022-03-05 23:49 | 0 |
openjml-macos-10.15-0.17.0-alpha-12.zip | 165.5 MB | 2022-03-05 23:43 | 1 |
openjml-ubuntu-20.04-0.17.0-alpha-12.zip | 321.3 MB | 2022-03-05 23:36 | 0 |
openjml-ubuntu-18.04-0.17.0-alpha-12.zip | 269.5 MB | 2022-03-05 23:29 | 0 |
README.md | 0.3 KB | 2022-03-05 23:08 | 0 |
All Files |
|||
0.17.0-alpha-12 | |||
openjml-macos-11-0.17.0-alpha-12.zip | 160.7 MB | 2022-03-05 23:49 | 0 |
openjml-macos-10.15-0.17.0-alpha-12.zip | 165.5 MB | 2022-03-05 23:43 | 1 |
openjml-ubuntu-20.04-0.17.0-alpha-12.zip | 321.3 MB | 2022-03-05 23:36 | 0 |
openjml-ubuntu-18.04-0.17.0-alpha-12.zip | 269.5 MB | 2022-03-05 23:29 | 0 |
OpenJML 0.17.0-alpha-12.tar.gz | 151.6 MB | 2022-03-05 23:08 | 0 |
OpenJML 0.17.0-alpha-12.zip | 242.3 MB | 2022-03-05 23:08 | 0 |
README.md | 0.3 KB | 2022-03-05 23:08 | 0 |
OpenJML | |||
openjml.zip | 86.5 MB | 2021-11-17 12:01 | 22 |
README | 0.3 KB | 2021-11-17 11:58 | 37 |
JIR | |||
OpenJIR | |||
CHANGE.TXT | 0.3 KB | 2010-02-13 07:13 | 23 |
openjir-20100212.tar.gz | 21.3 MB | 2010-02-13 06:31 | 17 |
openjir-20100127.tar.gz | 21.3 MB | 2010-01-28 05:24 | 6 |
OldFiles | |||
JML.5.6_rc2.tar.gz | 13.9 MB | 2008-05-21 07:07 | 3 |
JML.5.6_rc1.tar.gz | 13.8 MB | 2008-04-23 00:29 | 4 |
JML.5.5_rc3.tar.gz | 13.1 MB | 2007-11-05 07:07 | 2 |
JML.5.5_rc2.tar.gz | 13.1 MB | 2007-10-16 10:11 | 4 |
JML.5.5_rc1.tar.gz | 13.1 MB | 2007-07-02 17:19 | 1 |
JML.5.4_rc2.tar.gz | 14.7 MB | 2006-12-25 10:58 | 2 |
JML.5.4_rc1.tar.gz | 14.1 MB | 2006-08-17 03:38 | 3 |
JML.5.3_rc4.tar.gz | 14.6 MB | 2006-01-12 14:28 | 1 |
JML.5.3_rc3.tar.gz | 14.0 MB | 2006-01-06 06:58 | 1 |
JML.5.3_rc2.tar.gz | 14.2 MB | 2005-09-13 13:55 | 1 |
JML.5.3_rc1.tar.gz | 14.2 MB | 2005-08-18 06:12 | 1 |
JML.5.2_rc4.tar.gz | 13.9 MB | 2005-07-08 15:49 | 2 |
JML.5.2_rc3.tar.gz | 13.6 MB | 2005-05-31 13:15 | 1 |
JML.5.2_rc2.tar.gz | 13.5 MB | 2005-04-04 06:16 | 7 |
JML.5.2_rc1.tar.gz | 13.5 MB | 2005-04-03 15:17 | 3 |
JML.5.1.tar.gz | 12.6 MB | 2005-01-23 11:40 | 8 |
JML.5.1_rc3.tar.gz | 12.6 MB | 2005-01-05 08:01 | 1 |
JML.5.1_rc2.tar.gz | 12.5 MB | 2004-11-22 16:30 | 3 |
JML.5.1_rc1.tar.gz | 11.8 MB | 2004-10-12 11:12 | 2 |
JML.5.0.tar.gz | 11.6 MB | 2004-08-15 03:55 | 3 |
JML.5.0_rc2.tar.gz | 12.4 MB | 2004-08-05 07:20 | 1 |
JML.5.0_rc1.tar.gz | 10.0 MB | 2004-04-01 00:54 | 3 |
JML.4.1.tar.gz | 9.8 MB | 2004-02-09 15:17 | 1 |
JML.4.1_rc5.tar.gz | 9.8 MB | 2004-01-29 06:00 | 5 |
JML.4.1_rc4.tar.gz | 8.8 MB | 2003-12-12 13:28 | 1 |
JML.4.1_rc3.tar.gz | 8.5 MB | 2003-11-13 16:35 | 1 |
JML.4.1_rc2.tar.gz | 8.5 MB | 2003-10-21 13:03 | 3 |
JML.4.1_rc1.tar.gz | 8.2 MB | 2003-09-20 04:40 | 1 |
JML.4.1_pre.tar.gz | 8.1 MB | 2003-08-22 05:42 | 4 |
JML.4.0.tgz | 7.4 MB | 2003-06-17 00:52 | 2 |
JML.3.7.tgz | 5.1 MB | 2003-04-10 02:06 | 2 |
JML.3.6.tgz | 4.6 MB | 2003-01-08 01:59 | 4 |
JML.3.5.tgz | 4.6 MB | 2002-12-18 23:19 | 1 |
JML.3.4.tgz | 6.5 MB | 2002-11-14 23:20 | 1 |