Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 976 Categories, Downloaded 29.894.041 Times

Java Modeling Language (JML) 1.0

Company: jmlspecs.org
Date Added: September 05, 2012  |  Visits: 211

Java Modeling Language (JML)

Report Broken Link
Printer Friendly Version


Product Homepage
Download (27 downloads)



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.

Requirements: No special requirements
Release Date: September 05, 2012
Platforms: Windows, Mac, Linux
Users rating: 0/10

License: Freeware Size: 9.41 MB
USER REVIEWS
More Reviews or Write Review


JAVA MODELING LANGUAGE (JML) RELATED
Development Tools  -  Java Modeling Language 5.6 RC2 1.0
The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules. It combines the design by contract approach of Eiffel and the model-based specification approach of the...
 
Development Editors  -  JML 0.2.3 Build 20111017 Beta
JML or Java Modeling Language is a behavioral interface specification language that a user can use to specify the behavior of Java modules. The language combines the design by contract approach of Eiffel and the model-based specification...
 
Graphics Viewers  -  APMonitor Modeling Language 0.5.6
The APMonitor Modeling Language is optimization software for differential and algebraic equations. It is coupled with large-scale nonlinear programming solvers for data reconciliation, real-time optimization, dynamic simulation, and nonlinear...
225 KB  
Development Editors  -  realpaver 0.4
RealPaver is a modeling language for solving mixed-integer nonlinear constraint systems.
491.52 KB  
Integration Tools  -  Visual Paradigm for UML Beta
Visual Paradigm for the Unified Modeling Language (VP-UML) is a UML CASE suite with teamwork capability. The suite of tools are designed for a wide range of users, including Software Engineers, System Analysts, Business Analysts, System...
10 KB  
Libraries  -  Chilkat Class Libraries for Java 9.2.1
The full suite of Chilkat components & libraries are now available for the Java programming language. Commercially licensed components include: Email (POP3 / SMTP) IMAP Zip, GZip, and Unix Compress Encryption MIME and S/MIME FTP HTTP MHT...
 
Libraries  -  Java Convex Optimizer 1.0.0
Java Convex Optimizer is designed as an useful Open Source library that's been implemented in the Java programming language. It was built in order to address the problem of solving a convex minimization with equalities and inequalities contraints.
 
Education  -  JPetriNet 1.1
The project JPetriNet is a Petri Net modeling, analysis and simulation tool made in Java Programming Language. JPetriNet was previously intended to aid educational activities but also could be used in any other purpose involving concurrent systems.
97.37 KB  
Development Editors  -  Java Curses Library 0.9.5
The Java Curses Library (JCurses) is a library for developing text terminal based applications using Java programming language. It is implemented as a Windowing toolkit similar to AWT, but built upon the UNIX "curses" windowing system.
471.04 KB  
Programming  -  coopr.pyomo 3.0.1
This Python package defines a Pythonic modeling language for math program
399.36 KB  
NEW DOWNLOADS IN MACINTOSH SOFTWARE, PROGRAMMING
Macintosh Software  -  MacX Free DVD to MP4 Converter for Mac 4.2.3
MacX Free DVD to MP4 Converter for Mac is an innovative yet free DVD to MP4 ripper software for Mac users without any functional limitation or watermark. It is able to convert DVDs including copy protected DVD movies to MP4, FLV, MP3 music on Mac...
36.23 MB  
Macintosh Software  -  MacX Free Rip DVD to QuickTime for Mac 4.1.9
MacX Free Rip DVD to QuickTime for Mac is totally free yet versatile DVD to QuickTime ripper software for Mac users to free rip both normal and copy-protected DVDs to QuickTime MOV, MP4 on Mac with excellent image quality. Besides the powerful...
36.3 MB  
Macintosh Software  -  MacX QuickTime Video Converter Free 4.1.9
MacX QuickTime Video Converter Free Edition is the best program designed for Mac users to free convert almost all HD videos and SD videos to QuickTime accepted formats on Mac with first rate quality.The input file formats covered by this powerful...
23.11 MB  
Macintosh Software  -  MacX Free Apple TV Video Converter 4.1.9
MacX Free Apple TV Video Converter is a 100% free video to Apple TV converter software which enables you to free convert most popular videos like AVCHD, MKV, M2TS, AVI, MPEG, WMV, FLV etc to Apple TV compatible format like MP4 format on Mac OS. In...
22.89 MB  
Macintosh Software  -  MacX Free DVD to PSP Converter for Mac 4.1.7
Looking for a solution to convert DVD to PSP for free? MacX Free DVD to PSP Converter for Mac is a 100% free DVD to PSP converter software which can assist you convert any DVD including copy protected DVDs to PSP supported MP4, H.264/MPEG-4 AVC...
36.26 MB  
Programming  -  MacX Free iMovie Video Converter 4.1.8
MacX Free iMovie Video Converter is a professional free iMovie video converter for Mac that can convert any SD and HD videos such as M2TS, MKV, AVI, WMV, FLV, VOB, 3GP and more to iMovie accepted video formats MOV & MP4 for importing to iMovie...
22.92 MB  
Programming  -  SwapList 0.1 Alpha
Java list implementation that swaps list items to a disk file in order to avoid out-of-memory error.
10.24 KB  
Programming  -  Mano 1.05 Beta
Mano is a makeFile navigator containing a tree grouping the targets.
20.48 KB  
Programming  -  Workhorse 1.2
Workhorse automates tedious file transfer and deletion tasks. Just tell it when or how often you want it to run, fill in the details, and let it do it's job! Do you know Applescript? Use Workhorse to run your scripts at a given time or interval....
225.28 KB  
Programming  -  PLT Scheme (formerly DrScheme) Darwin (PPC) 4.2
PLT Scheme is an interactive, integrated, graphical programming environment for the Scheme, MzScheme, and MrEd programming languages. PLT Scheme provides source highlighting for syntax and run-time errors, support for multiple language...
38.27 MB