Bestcatalog.net: Web Site Development Resources Directory

Home   |   Update a Listing   |   Get Rated   |   Services

BestCatalog.net - 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 BestCatalog.net - 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
Url http://www.cs.iastate.edu/%7Eleavens/JML/


  Other links at Java > Extensions
jContractor
during class loading and instruments the class bytecodes on-the-fly to check run-time contract violations. [Apache Open Source Licence]
Java > Extensions

MetaJ
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

PolyJ
Java with support for generic programming in the form of parameterized types. Provides constrained parametric polymorphism, with advantages over some other proposals for adding genericity to Java. [Open Source, GPL]
Java > Extensions

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

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



Links 10764 Categories 541 Registered Users 26931 Unique Outgoing Hits 353222
Sitemap

Copyright © 2008-2018 bestcatalog.net. All Rights Reserved. Bestcatalog.net is a web site of Webdesignbe.com.