Java Modeling Language (JML) - Browse /OpenJML at SourceForge.net

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
Parent folder
openjml.zip	2021-11-17	88.6 MB	0
README	2021-11-17	265 Bytes	0
Totals: 2 Items		88.6 MB	0

The main OpenJML site is at https://github.com/OpenJML,
The Eclipse update site is jmlspecs.sourceforge.net/openjml-updatesite
Some files are mirrored here.
The current version is 0.8.59, smt 1.3.0, file ../OpenJML/OpenJML/releaseBuilds/openjml-0.8.59-20211116.zip

Source: README, updated 2021-11-17

You Might Also Like

Employee monitoring software with screenshots

Clear visibility and insights into how employees work. Even remotely

Our computer monitoring software allows employees, field contractors, and freelancers to manually clock in when they begin working on an assignment. The application will take screenshots randomly or at set intervals, which allows employers to observe the work process. The application only tracks activity when the employee is clocked in. No spying, only transparency.

Learn More

Purchasing and invoice automation solution for small to mid market companies.

Save your team 10s of hours/week with a fully personalized and automated procurement process.

ProcureDesk is an integrated purchasing and invoicing platform tailored to help small to medium sized businesses streamline their procurement processes. This user-friendly system automates workflows and consolidates purchasing data into a centralized dashboard, allowing companies to control spending and enhance transparency efficiently. Features like automated invoice matching, simple requisition creation, and immediate cash flow insights minimize manual tasks and boost operational efficiency. ProcureDesk is perfect for smaller enterprises leveraging big-business strategies to reduce costs and optimize their purchasing activities. Discover how ProcureDesk can transform your procurement process into a more effective and manageable part of your business.

Learn More

Recommended Projects

JUnit
We are deprecating our SourceForge installation. For the latest information, downloads, and opportunities to contribute, please visit http://junit.org. (JUnit is a simple framework for writing and running automated tests. As a political gesture, it celebrates programmers testing their own software.)
Modern Jass
Modern Jass is a Design by Contract implementation for Java which uses Java 5 annotations, the Pluggable Annotation Processing API (JSR 269), the Compiler API (JSR 199), and the Bytecode Instrumentation API.
MultiJava
MultiJava adds open classes and multiple dispatch to Java. Open classes let one add new operations to existing objects. Multiple dispatch has many uses; one typical example is to write event handlers for Swing applications while avoiding nested ifs.
ACRA
Application crash reports for Android

Java Modeling Language (JML) Files