Submit Software
  1. Home
  2. Linux
  3. Other
  4. Java Modeling Language (JML)
  5. Download

Java Modeling Language (JML)

License: Free ‎File size: N/A
‎Users Rating: 4.0/5 - ‎1 ‎votes

ABOUT Java Modeling Language (JML)

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.

Related Programs

  • OpenSeeds Free

    OpenSeeds is an open-source web-development framework and object model designed for the LAMP environment. It is designed with complex systems in mind. The framework itself is light-weight. The object model is simplistic.

  • JNI++ Free

    This project supplies two code generating utilities and a core C++ library that simplify programming to the JNI in C++.

  • Almende's Abbey Agent Kernel Free

    This project provides a simple kernel for building distributed agent-based applications. It is based on the idea that the principles underlying dataflow programming are well-suited to design a coordination language for multi-

  • Flicky Web Launcher Free Trial

    This app is just an icon that launches the About.com site.Makes it easy to get to the Flickr website.appjungle.net not affiliated with Flickr.(all trademarks are owned by their respective owners)Standard disclaimer:All use is

  • MGP Free

    The Maven GWT plugin is used to compile JavaScript source files from the Java source. The plugin runs GWTCompiler, allows to configure compiler options, automatically detects source and resource files location. Does not requi

  • Delta Compositor Free

    Delta Compositor is a High end movie compositing and special effects package. It is in very early development. A script-based version is now available. A GUI is currently in planning and development.

  • Database Access Framework Free

    An enhanced version of Data Access Application Block from Microsoft patterns & practices Enterprise Library 2.0.

  • jDummy Free

    jDummy is an extension to jMock, a library for testing Java code with mock objects. jDummy reduces the code needed to express relevant expections by generating the dummy values and intermediate mocked objects needed to expres

  • ALPprolog Free

    ALPprolog is a Prolog implementation of an action programming language. With ALPprolog you can program strategies for autonomous agents in dynamic domains like e.g. the Wumpus world.

  • C++ Object Interfacing Dispatcher Free

    COID is a C++ object-serving networking library, with tool that automatically generates lightweight communication layer directly from the C++ class declarations.