Java Modeling Language (JML) download

This sourceforge site for the project is now DEPRECATED and not updated.
All current work and new releases are on github: https://github.com/OpenJML/OpenJML.

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.

The principal current tool of the project is OpenJML -- cf. https://www.openjml.org, with binary downloads from https://github.com/OpenJML/OpenJML/releases/latest

Features

OpenJML: https://github.com/OpenJML/OpenJML

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow Java Modeling Language (JML)

Java Modeling Language (JML) Web Site

Other Useful Business Software

Secure User Management, Made Simple | Frontegg

Get 7,500 MAUs, 50 tenants, and 5 SSOs free – integrated into your app with just a few lines of code.

Frontegg powers modern businesses with a user management platform that’s fast to deploy and built to scale. Embed SSO, multi-tenancy, and a customer-facing admin portal using robust SDKs and APIs – no complex setup required. Designed for the Product-Led Growth era, it simplifies setup, secures your users, and frees your team to innovate. From startups to enterprises, Frontegg delivers enterprise-grade tools at zero cost to start. Kick off today.

Start for Free

Rate This Project

User Reviews

Be the first to post a review of Java Modeling Language (JML)!

Additional Project Details

Operating Systems

BSD, Linux, Mac, Windows

Languages

English

Intended Audience

Developers, Education, Information Technology, Science/Research

User Interface

Cocoa (MacOS X), Win32 (MS Windows), X Window System (X11)

Programming Language

Java

Related Categories

Java Code Generators, Java Debuggers, Java Compilers, Java Education Software

Registered

2002-10-22

Similar Business Software

Windsurf Editor

The Windsurf Editor is a free AI-powered IDE and AI coding assistant that accelerates development by providing intelligent code generation and agents in over 70 programming languages and more than 40 IDEs, including VSCode, JetBrains, and Jupyter Notebooks. With Windsurf, developers can write...

See Software
HUnit

HUnit is a unit testing framework for Haskell, inspired by the JUnit tool for Java. It's easy to use HUnit, assuming you are familiar with Haskell, though not necessarily with JUnit. A test-centered methodology for software development is most effective when tests are easy to create, change, and...

See Software
Bitrise

Save time, money, and developer frustration with fast, flexible, and scalable mobile CI/CD that just works. Whether you swear by native or would rather go cross-platform, we have you covered. From Swift to Objective-C, Java to Kotlin, as well as Xamarin, Cordova, Ionic, React Native, and...

See Software
Bazel

Bazel is an open-source build and test tool designed for multi-language, multi-platform software projects that delivers fast, incremental builds by rebuilding only what’s necessary and leveraging advanced local and remote caching, optimized dependency analysis, and parallel execution. It...

See Software
Twilio

Design and deploy your ideal customer engagement experience. Twilio is a single fully-programmable platform with flexible APIs for any channel and over 400+ integrations, backed by a community of over 9 million developers. Build accurate and personalized experiences for your customers, easily...

See Software
Adobe PDF Library SDK

Developers rely on Datalogics to provide the most comprehensive PDF SDKs in the industry. Global OEMs, SaaS and enterprise end-users rely on Adobe PDF Library to automate the creation, editing and management of PDFs. An Adobe partner, our SDK uses the same source code as Acrobat for...

See Software