Java Modeling Language (JML) - Browse /JIR 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	InfoDownloads / Week
Parent folder
OpenJIR	2010-02-12	0
Totals: 1 Item		0

Other Useful Business Software

Ship Agents Faster

Transform your applications and workflows into powerful agentic systems at global scale.

Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.

Start Free

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

Ship Agents Faster

Transform your applications and workflows into powerful agentic systems at global scale.

Start Free

Recommended Projects

Stunt Rally
3D racing game with Sci-Fi elements and Track Editor
Oblivion Works
Wrye Bash has moved to Github! Downloads: https://github.com/wrye-bash/wrye-bash/releases Code: https://github.com/wrye-bash/wrye-bash
Gellish - A Product Modeling Language
Formalized English (o.a.) for standardized information exchange
HealthCard: JavaCard + JML specs
Prototype of a Java Card application for smart cards and its client application. It was developed with the support of JML (Java Modeling Language) used to formally specify the requirements for developing the HealthCard application in Java Card.
Contract++
Contract Programming Library for C++

Java Modeling Language (JML) Files