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
A generic protocol-based self-applicative interpreter for Java. Revolves around a generic reification procedure which can be used to reify any class of the interpreter.
Java > Extensions

gt; language into Java by providing explicit support for Web service sessions, safe XHTML dynamic document building.
Java > Extensions

Java with assertions, spoken: jazz, like the music. Improvement of JaWA language extension. Gives Java the concepts of Design by Contract from Bertrand Meyer, and Eiffel, and extends them with new features. [Open Source, GPL]
Java > Extensions

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

A variant of Java that adds parametric polymorphism, first-class functions, and class cases and pattern matching to the language. The compiler compiles into Java byte code so the binaries can be run on a normal JVM. [Freeware]
Java > Extensions

Links 10764 Categories 541 Registered Users 26931 Unique Outgoing Hits 353222

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