Web Site Development Resources Directory

Home   |   Update a Listing   |   Get Rated   |   Services - the largest directory of the Web for web developers. Free web tools, free web hosting with Cpanel, SEO tools, links on applications, articles, books, code samples, tips, FAQ's, tutorials and documentations. Everything you need to design, build, develop and download adobe acrobat promote your web site. Add your site to - the human edited directory for webmasters !

The Java Modeling Language (JML)
Link ID 10911
Average Visitor Rating: 0.00 (out of 5)
Number of ratings: 0 Votes
Visitor Rating
The Java Modeling Language (JML)
A behavioral interface specification language that can be used to specify the behavior of Java modules.
Category Java > Extensions

  Other links at Java > Extensions
Java With Assertions, an extension of Java by assertions, a concept borrowed from Bertrand Meyer, and Eiffel. Still available, superseded by Jass.
Java > Extensions

Prolog-like engine, multimethods, parameterized types (derived from Pizza), closures (derived from Pizza), arithmetic types, type states and cases (derived from Pizza), 'foreach' statement, global method and variable definitions, virtual fields, variable number of arguments of methods, project, incremental compiling. [Open Source, GPL]
Java > Extensions

GJ: Generic Java
Support for generics. Superset of the Java programming language. Compatible with existing libraries. [Freeware]
Java > Extensions

An extension of Java and GJ to support polymophic methods while perserving static type information (no erasure). For research purposes.
Java > Extensions

A framework for load-time transformation of Java programs. [Open Source, LGPL]
Java > Extensions

Links 10764 Categories 541 Registered Users 26931 Unique Outgoing Hits 353222

Copyright © 2008-2018 All Rights Reserved. is a web site of