AutoJML

A JML generator. Generates JML specifications based on other specification formalisms.

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow AutoJML

AutoJML Web Site

Other Useful Business Software

Auth for GenAI | Auth0

Enable AI agents to securely access tools, workflows, and data with fine-grained control and just a few lines of code.

Easily implement secure login experiences for AI Agents - from interactive chatbots to background workers with Auth0. Auth for GenAI is now available in Developer Preview

Try free now

Rate This Project

User Reviews

Be the first to post a review of AutoJML!

Additional Project Details

Intended Audience

Science/Research, Developers

User Interface

Command-line

Programming Language

Java

Related Categories

Java UML Tool, Java Code Generators, Java Design Software

Registered

2006-11-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
Appenate

Reduce Paper-Based Work With Our Drag-n-Drop App Builder. Create Data-Driven Apps That Empower Your Business. Mobile & Desktop. No Coding Required. A no-code platform for creating data-driven apps to replace paper forms across all industries. Use our versatile drag-n-drop software to...

See Software
Blackbird API Development

Accelerate Development of Prod-Ready APIs. AI-Powered Code Gen, Mocking in Minutes, and On-Demand Ephemeral Test Environments. * Design Efficiently: Generate standardized OpenAPI specs with AI assistance, allowing you to begin coding faster. * Mock Effortlessly: Create shareable API mocks...

See Software