Search Results for "jml"

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...

OpenJUMP is a community driven fork of JUMP the "Java Unified Mapping Platform" GIS software. The original JUMP was developed by Vivid Solutions, released under GPL2 in 2003 and discontinued in 2006. During 2004 already some enthusiastic developers joined together to enhance further the features of JUMP. They launched an independent development branch called OpenJUMP. The name gives credit to the original JUMP development, and at the same time describes the objectives of this project to...

ABTools provides an open environment based on ANTLR and Java and provides some facilities for design and test the B language and somes extensions. ABTools est un environnement de développement base sur ANTLR et Java. Il permet de manipuler le langag

JML is a java Msn Messenger library that supports MSNP8-MSNP15. It is optimized for multiple users and is intended to be very easy to follow and use.

Liegkat-Archiv delivers ALK converters for spatial data formats (EDBS, BGRUND, SQD, DFK, HK) and coordinate systems used in German cadastral agencies before ALKIS into KML and JML. It delivers Python packages and XSL files.

Zeus Messenger is an open source multi-platform MSN(WLM) client written in Java. It will implement and extend the functionalities of JML (java Msn Messenger library) that supports MSNP8-MSNP12.

Interactive Nullness Annotation Propagation Application - assists a developer with adding nullness annotations (i.e. JML) to Java source code. This makes it easier to use a checker like ESC/Java for statically identifying potential null pointer bugs.

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

xJBot is an extensible MSN Bot library written in Java which builds upon JML (Java MSN Messenger Library).

jppa is a pointer and purity analysis tool for Java programs. Mainly a purity analysis tool: given a full Java program, it detects pure JML-style methods, i.e., methods that do not mutate existing objects (they may mutate new ones).

Java Math Library (JML) is a fairly robust mathematics library that can be used for anything from basic calculations to some more advanced mathematical functions.

Nuclear Fission Project is java API that suppose to be used in dynamical calculations of the nuclear fission process.

A JML-like tool for easy embedding behavior descriptions into the code.